A Contract-based Approach to Specifying and Verifying Safety Critical Systems

Electronic Notes in Theoretical Computer Science

Volumn 176, Issue 2, 2007, Pages 89-103

  Dong, Wei ^a   Chen, Zhenbang ^a   Wang, Ji ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

component based software development; formal specification; software verification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEM FIREWALLS; INTERFACES (COMPUTER); MATHEMATICAL MODELS; SECURITY OF DATA; SEMANTICS; SOFTWARE TESTING;

COMPONENT-BASED SOFTWARE DEVELOPMENT; FORMAL SPECIFICATION; SOFTWARE VERIFICATION;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34248635945     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.02.033     Document Type: Article

References (18)

1. Ivica Crnkovic. Component-based approach for Embedded Systems. Ninth International Workshop on Component-Oriented Programming, 2004
2. Pont M.J. Patterns for Time-Triggered Embedded Systems (2001), Addison Wesley
3. "UML 2.0 Superstructure Specification". Object Management Group, 2003
4. MISRA. "Development guidelines for vehicle-based software". Motor Industry Software Reliability Report, 1994
5. Kopetz H. The Time-Triggered Architecture. First International Symposium on Object-Oriented Real-Time Distributed Computing (1998), IEEE Computer Society
6. Robert J. Allen, Remi Douence, and David Garlan. Specifying Dynamism in Software Architectures. Proceedings of the Workshop on Foundations of Component-Based Software Engineering, 1997
7. Giannakopoulou D., Kramer J., and Chi Cheung S. Behaviour analysis of distributed systems using the tracta approach. Automated Software Engg. 6 1 (1999) 7-35
8. Plasil F., and Visnovsky S. Behavior protocols for software components. IEEE Transactions on software Engineering 28 11 (November 2002) 1056-1076
9. Ron Morrison, Graham Kirby, Dharini Balasubramaniam, Kath Mickan. Support for Evolving Software Architectures in the ArchWare ADL. Fourth Working IEEE/IFIP Conference on Software Architecture, 2004
10. Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione. Compositional Verification of Middleware-Based Software Architecture Descriptions. 26th International Conference on Software Engineering, 2004
11. Luca de Alfaro, Thomas A. Henzinger. Interface Automata. Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, 2001
12. Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux and Stefan Topp. Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software. In Proc. of ASE, 2005
13. John Hatcliff, William Deng, Matthew B. Dwyer, et.al. Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. 25th International Conference on Software Engineering, 2003
14. Fei Xie, James C. Browne. Verified systems by composition from verified components. The 9th European software engineering conference, 2003
15. M. Åkerholm, A. Möller, H. Hansson and M. Nolin. Towards a Dependable Component Technology for Embedded System Applications. 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. 2005
16. Barros T., Henrio L., and Madelaine E. Behavioural Models for Hierarchical Components. Proceedings of 12th International SPIN Workshop on Model Checking of Software. LNCS 3639 (2005), Springer-Verlag
17. Carrez C., Fantechi A., and Najm E. Behavioural contracts for a sound assembly of components. proceedings of FORTE03. LNCS volume 2767 (2003), Springer-Verlag
18. Alur R., Henzinger T., Kupferman O., and Vardi M. Alternating refinement relations. Concurrency Theory. LNCS 1466 (1998), Springer-Verlag