AMBERS: Improving requirements specification through assertive models and SCADE/DOORS integration

The Safety of Systems - Proceedings of the 15th Safety-Critical Systems Symposium, SSS 2007

Volumn , Issue , 2007, Pages 217-241

  Da Cruz, Marcelin Fortes ^a   Raistrick, Paul ^b  

^a AIRBUS OPERATIONS LTD   (United Kingdom)

^b ANSYS Esterel Technologies   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AMBER; COST REDUCTION; ERRORS; SECURITY SYSTEMS; SPECIFICATIONS;

AUTOMATIC PROOF GENERATION; ENGINEERING SPECIFICATION; MODEL BASED DEVELOPMENT; MODEL-BASED ENGINEERING; POTENTIAL REPRESENTATIONS; REQUIREMENT SPECIFICATION; REQUIREMENTS SPECIFICATIONS; SOFTWARE COST REDUCTIONS;

SAFETY ENGINEERING;

EID: 84883059952     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-1-84628-806-7_14     Document Type: Conference Paper

References (6)

1. Parnas D.L, (1993). 'Predicate Logic for Software Engineering'. IEEE Transactions on Software Engineering, VOL 19. NO 9, September 1993
2. Parnas D.L. (1992). 'Tabular Representations of Relations'. Telecommunications Research Institute of Ontario. Communications Research Laboratory. Report CRL NO 260, October 1992.
3. Fortes da Cruz, M. Au, (2001). 'Building Systems as Transformers'. Irish Workshop On Formal Methods, IWFM'01, Dublin, May 2001.
4. Heitmeyer C.L., Jeffords R.D. and Labaw B.G. (1996). 'Automated Consistency Checking of Requirements Specifications'. ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3, July 1996, pp 231-261
5. Halbwachs N., Caspi P., Raymond P. and Pilaud D. (1991). 'The Synchronous dataflow programming language LUSTRE'. Proceedings of the IEEE, Vol 79, Issue 9, September 1991, pp 1305-1320.
6. David R. and Alla H. (editors) (1992). 'Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems'. Prentice Hall, New York 1992.