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

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

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

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

10.4271/as5506/1a ◽

2015 ◽

Cited By ~ 16

Author(s):

Keyword(s):

Code Generation ◽

Error Model ◽

Analysis And Design ◽

Design Language ◽

Architecture Analysis

Download Full-text

Application of the Architecture Analysis and Design Language (AADL) to Space System Safety and Reliability Assessment

AIAA SPACE 2010 Conference & Exposition ◽

10.2514/6.2010-8658 ◽

2010 ◽

Author(s):

Myron Hecht ◽

Alexander Lam ◽

Derek Pfister ◽

Christopher Vogl ◽

Russell Howes

Keyword(s):

Reliability Assessment ◽

Space System ◽

System Safety ◽

Analysis And Design ◽

Design Language ◽

Safety And Reliability ◽

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.6383102 ◽

2012 ◽

Author(s):

Teng-teng Zhang

Keyword(s):

System Engineering ◽

Engineering Process ◽

Analysis And Design ◽

Design Language ◽

Architecture Analysis

Download Full-text