Model-Based Safety and Assessment : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings /: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: IMBSA 2019
• Further Information: Note: Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano (eds.).
• Editors: (Professor of Computer Science), Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis, 1969-; Bozzano, Marco
• Other Names: IMBSA (Symposium), 6th
• Contents: Intro; Preface; Organization; Contents; Safety Models and Languages; Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency; Abstract; 1 Introduction; 2 Context; 2.1 System Description Models; 2.2 Safety Assessment and Modeling; 2.3 Related Work; 3 Several Alternatives and Criteria; 3.1 The Functional Layer and the Physical Layer Linked by Synchronizations; 3.2 The Functional Layer and the Physical Layer Linked by Flows; 3.3 The Functional Layer Using Physical Resources; 3.4 Functions Nested in Physical Layer; 3.5 Summary 4 The Functional Layer Supplied by the Physical Resources: Application4.1 Allocation of a Functional Flow to Physical Elements; 4.2 Failure Modes More Detailed in Physical Layer than in Functional Layer; 4.3 Failure Modes More Detailed in Functional Layer than in Physical Layer; 4.4 Discussion; 5 Conclusion; Acknowledgments; References; Model Based Approach for RAMS Analyses in the Space Domain with Capella Open-Source Tool; Abstract; 1 Introduction; 1.1 Dependability Process in the Space Domain; 2 Model Based Approach with Capella Open-Source Tool; 2.1 Arcadia Methodology and Capella Tool 2.2 Model Based Approach for RAMS Analyses3 Examples of RAMS Analyses Performed with Capella; 4 Conclusion and Perspectives; References; Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0; 1 Introduction; 2 Illustrative Example; 3 AltaRica 3.0 Modeling; 3.1 The AltaRica 3.0 Modeling Language; 3.2 Modeling with AltaRica 3.0; 4 Modeling Pattern for Maintenance; 4.1 Maintenance Policies; 4.2 Repair by Propagation of Flow Variables; 4.3 Repair by Synchronizing Events; 4.4 Repair by Virtual Aggregation; 5 Experiments; 6 Conclusion; References A Domain Specific Language to Support HAZOP Studies of SysML Models1 Introduction; 2 Background and Related Work; 3 Approach; 3.1 Metamodel; 3.2 Constraints; 3.3 Concrete Syntax; 4 Implementation; 4.1 System Model and Requirements Import; 4.2 DSL Implementation; 5 Application Example; 5.1 Boost Recuperation System; 5.2 HAZOP Study for BRS; 5.3 Development Workflow; 6 Discussion; 7 Conclusion; References; Integrating Existing Safety Analyses into SysML; 1 Introduction; 1.1 Paper Structure; 1.2 Background and Previous Work; 1.3 ENCASE Project; 2 Implementation 3 Changes to the Previous Fault Tree Profile for SysML3.1 Additional Extensions to the Profile; 4 Modelling Time Limited Dispatch; 5 Using Scripts to Integrate Analytical Tools; 5.1 Exporting Fault Tree Logic; 5.2 Automating the Dispatch Analysis; 6 Alignment of Safety and System Models; 7 Conclusions; References; FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses; 1 Introduction; 2 Illustrative Use Case; 2.1 Presentation; 2.2 Modeling; 3 Finite Degradation Structures; 3.1 Definition; 3.2 Products and Abstractions; 3.3 Finite Degradation Models; 3.4 Minimal Cutsets
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xi, 380 pages), illustrations (some color)
• Subjects: 005.1015113; Computer science -- Congresses; Computers, Special purpose -- Congresses; Software engineering -- Congresses; Algorithms -- Congresses; Computer logic -- Congresses; Logic, Symbolic and mathematical -- Congresses; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783030328726; 3030328724
• Related ISBNs: 9783030328719
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 16, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.