SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex

A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.44 ◽

2011 ◽

Cited By ~ 11

Author(s):

Myron Hecht ◽

Alexander Lam ◽

Chris Vogl

Keyword(s):

Error Model ◽

Analysis And Design ◽

Design Language ◽

Dependability Analysis ◽

Software And Hardware ◽

Tool Set ◽

Integrated Software ◽

Architecture Analysis

Download Full-text

SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: Graphical AADL Notation, Annex C: AADL Meta-Model and Interchange Formats, Annex D: Language Compliance and Application Program Interface Annex E: Error Model Annex

10.4271/as5506/1 ◽

2011 ◽

Cited By ~ 1

Author(s):

Keyword(s):

Error Model ◽

Application Program Interface ◽

Meta Model ◽

Application Program ◽

Analysis And Design ◽

Design Language ◽

Program Interface ◽

Architecture Analysis

Download Full-text

Formal semantics of behavior specifications in the architecture analysis and design language standard

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2016.7748252 ◽

2016 ◽

Author(s):

Loıc Besnard ◽

Thierry Gautier ◽

Clement Guy ◽

Paul Le Guernic ◽

Jean-pierre Talpin ◽

...

Keyword(s):

Formal Semantics ◽

Analysis And Design ◽

Design Language ◽

Architecture Analysis

Download Full-text

ABV - A Verifier for the Architecture Analysis and Design Language (AADL)

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.43 ◽

2011 ◽

Cited By ~ 6

Author(s):

Stefan Björnander ◽

Cristina Seceleanu ◽

Kristina Lundqvist ◽

Paul Pettersson

Keyword(s):

Analysis And Design ◽

Design Language ◽

Architecture Analysis

Download Full-text

Assuring Software Fault Management with the Architecture Analysis and Design Language

Infotech@Aerospace 2012 ◽

10.2514/6.2012-2575 ◽

2012 ◽

Author(s):

Kenneth Evensen ◽

Michela Munoz Fernandez

Keyword(s):

Fault Management ◽

Analysis And Design ◽

Design Language ◽

Software Fault ◽

Architecture Analysis

Download Full-text

Architecture analysis and design language & harmony system engineering process

2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) ◽

10.1109/dasc.2012.6382421 ◽

2012 ◽

Author(s):

Teng-teng Zhang ◽

Jian-min Wu ◽

Lin Qi ◽

Hai-yu Xu

Keyword(s):

System Engineering ◽

Engineering Process ◽

Analysis And Design ◽

Design Language ◽

Architecture Analysis

Download Full-text

Defining an annex language to the architecture analysis and design language for requirements engineering activities support

2011 Model-Driven Requirements Engineering Workshop ◽

10.1109/modre.2011.6045362 ◽

2011 ◽

Cited By ~ 9

Author(s):

Dominique Blouin ◽

Eric Senn ◽

Skander Turki

Keyword(s):

Requirements Engineering ◽

Analysis And Design ◽

Design Language ◽

Architecture Analysis

Download Full-text

Aspect-Oriented QoS Modeling of Cyber-Physical Systems by the Extension of Architecture Analysis and Design Language

Lecture Notes in Electrical Engineering - Computer Engineering and Networking ◽

10.1007/978-3-319-01766-2_128 ◽

2013 ◽

pp. 1125-1131 ◽

Cited By ~ 2

Author(s):

Lichen Zhang ◽

Shuguang Feng

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Analysis And Design ◽

Design Language ◽

Architecture Analysis

Download Full-text

Model-Based Software Quality Assurance with the Architecture Analysis and Design Language

AIAA Infotech@Aerospace Conference ◽

10.2514/6.2009-2034 ◽

2009 ◽

Cited By ~ 1

Author(s):

Peter Feiler ◽

David Gluch ◽

Kathryn Weiss ◽

Kurt Woodham

Keyword(s):

Quality Assurance ◽

Software Quality ◽

Software Quality Assurance ◽

Analysis And Design ◽

Design Language ◽

Model Based ◽

Architecture Analysis

Download Full-text

SAE Architecture Analysis and Design Language (AADL) Annex Volume 2

10.4271/as5506/2 ◽

2011 ◽

Author(s):

Keyword(s):

Analysis And Design ◽

Design Language ◽

Architecture Analysis

Download Full-text