Model-based automatic generation and selection of safe architectures

22nd Annual International Symposium of the International Council on Systems Engineering, INCOSE 2012 and the 8th Biennial European Systems Engineering Conference 2012, EuSEC 2012

Volumn 1, Issue , 2012, Pages 645-665

  Condat, Hŕlène ^a   Strobel, Carsten ^b   Hein, Andreas ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b AIRBUS GROUP INNOVATIONS   (Germany)

Author keywords

Avionics; Constraint Programming; Model Based Systems Engineering; Safety

Indexed keywords

AUTOMATED APPROACH; AUTOMATIC GENERATION; AUTOMATICALLY GENERATED; CONSTRAINT PROGRAMMING; MODEL-BASED SYSTEMS ENGINEERING; OPTIMIZATION CRITERIA; SAFETY CONSTRAINT; SAFETY REQUIREMENTS;

ACCIDENT PREVENTION; ALGORITHMS; AVIONICS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; DESIGN; OPERATIONS RESEARCH; OPTIMIZATION; SAFETY ENGINEERING;

SYSTEMS ENGINEERING;

EID: 84883503027     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. Sagaspe, L. 2008.: « Allocation sûre dans les systèmes aéronautiques: Modélisation, Vérification et Génération », PhD diss., Université Bordeaux I (Bordeaux, France). (Sagaspe 2008)
2. Hardung, B. 2006.: "Optimisation of the Allocation of Functions in Vehicle Networks", », PhD diss., Universität Erlangen-Nürnberg (Erlangen, Germany). (Hardung 2006)
3. Abdi, S. and Gajski, D. 2004: "Automatic generation of equivalent Architecture Model from Functional Specification", Center for Embedded Computer Systems, University of California Irvine. (Abdi and Gajski 2004)
4. Dave, B.P., Lakshminaryana, G., Jha, N.K. 1997: COSYN: Hardware-Software Co-Synthesis of Embedded Systems. (Dave and all. 1997)
5. Smaling, R., de Weck, O. 2006: "Assessing Risks and Opportunities of Technology Infusion in System Design". (Smaling and de Weck 2006)