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
- Title:
- 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)
- Main Title:
- Model-Based Safety and Assessment : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings
- 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;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 … (more)
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.465318
- Ingest File:
- 02_609.xml