Model-Based Design and Automated Validation of ARINC653 Architectures Using the AADL-Reference-Cited by-同舟云学术

Model-Based Design and Automated Validation of ARINC653 Architectures Using the AADL

Published:2017 Issue: Volume: Page:33-52
ISSN:
Container-title:Cyber-Physical System Design from an Architecture Analysis Viewpoint
language:
Short-container-title:

Author:

Hugues Jérôme,Delange Julien

Publisher

Springer Singapore

Link

http://link.springer.com/content/pdf/10.1007/978-981-10-4436-6_2

Reference23 articles.

1. Airlines Electronic Engineering, Avionics application software standard interface—ARINC653. Technical Report (ARINC—Aeronautical Radio, Inc., 1997)

2. ATSB Transport Safety Investigation Report, In-flight upset event 240 km north-west of Perth, WA Boeing Company 777-200, 9M-MRG. Technical Report Aviation Occurrence Report 200503722 (ATSB, 2005)

3. R. Bloomfield, P. Bishop, Safety and assurance cases: past, present and possible future an adelard perspective, in Making Systems Safer, ed. by C. Dale, T. Anderson (Springer, London, 2010), pp. 51–67

4. J. Cabot, R. Clarisó, UML/OCL verification in practice, in ChaMDE 2008 Workshop Proceedings: International Workshop on Challenges in Model-Driven Software Engineering (2008), pp. 31–35

5. Carnegie Mellon Software Engineering Institute: OSATE—Open Source AADL Tool Environment. Technical report (2016), http://www.aadl.info

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The METASAT Model-Based Engineering Workflow and Digital Twin Concept;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25

2. Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language;IEEE Software;2022-07

3. Combining GSN and STPA for Safety Arguments;Lecture Notes in Computer Science;2019