Software diversity by automation

European Space Agency, (Special Publication) ESA SP

Volumn , Issue 602, 2005, Pages 169-176

  Gerlich, Rainer ^a   Gerlich, Ralf ^a   Boll, Thomas ^a   Ludwig, Klaus ^b   Chevalley, Philippe ^b   Langmead, Neil ^c  

^a BSSE System and Software Engineering   (Germany)

^b EUROPEAN SPACE AGENCY   (Netherlands)

^c IPL Information Processing Ltd   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FLIGHT DYNAMICS; SPACE RESEARCH;

CODE DIVERSITY; DIVERSIFICATION; FLIGHT APPLICATION SOFTWARE; TESTING DIVERSITY;

SOFTWARE ENGINEERING;

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

References (7)

1. [Aonix] Aonix Ada compiler, http://www.aonix.com
2. [ARM95] Ada95 Language Reference Manual, International Standard ISO/IEC 8652:1995(E), Lecture Notes in Computer Science 1246, Springer, 1997, e.g. http://www.ada95.ch/compiler/gnat.html
3. [ASIS] Ada Semantic Interface Specification, http://www.adaic.org/ standards/asis.html
4. [DARTT] Dynamic Ada Random Test Tool, http://www.bsse.biz → Products → DARTT
5. [GNAT] GNU Ada Compiler, AdaCore, http://www.gnat.com
6. [ISG] ISG tool (Instantaneous System and Software Generation), http://www.bsse.biz → Products → ISG/ASaP
7. [MSC] Message Sequence Charts, Z.120, ITU General Secretariat, Sales Section, Place de Nations, CH-1211 Geneva 20, Switzerland