FG Datenstrukturen und Softwarezuverlässigkeit
Refine
Year of publication
Document Type
- Scientific journal article peer-reviewed (54)
- Conference Proceeding (43)
- Part of a book (chapter) (19)
- Doctoral thesis (10)
- Scientific journal article not peer-reviewed (6)
- Conference publication peer-reviewed (4)
- Report (3)
- Article (2)
- Conference publication not peer-reviewed (2)
- Book (publisher) (1)
Keywords
- Petri Nets (5)
- Petri nets (5)
- ODEs (3)
- coloured Petri nets (3)
- systems biology (3)
- Modelchecking (2)
- Petri-Netz (2)
- SIR model (2)
- Systems biology (2)
- Verifikation (2)
Institute
BTU
Whole-cell modeling aims to incorporate all main genes and processes, and their interactions of a cell in one model. Whole-cell modeling has been regarded as the central aim of systems biology but also as a grand challenge, which plays essential roles in current and future systems biology. In this paper, we analyze whole-cell modeling challenges and requirements and classify them into three aspects (or dimensions): heterogeneous biochemical networks, uncertainties in components, and representation of cell structure. We then explore how to use different Petri net classes to address different aspects of whole-cell modeling requirements. Based on these analyses, we present a Petri nets-based framework for whole-cell modeling, which not only addresses many whole-cell modeling requirements, but also offers a graphical, modular, and hierarchical modeling tool. We think this framework can offer a feasible modeling approach for whole-cell model construction.
Abstract. There is an increasing demand to certify the security of systems according to the Common Criteria (CC). The CC distinguish several evaluation assurance levels (EALs), level EAL7 being the highest and requiring the application of formal techniques. We present a method for requirements engineering an (semi-formal and formal) modeling of systems to be certified according to the higher evaluation assurance levels of the CC. The method is problem oriented, i.e. it is driven by the environment in which the system will operate and by a mission statement. We illustrate our approach by an industrial case study, namely an electronic purse card (EPC) to be implemented on a Java Smart Card. As a novelty, we treat the mutual asymmetric authentication of the card an the terminal into which the card is inserted.