Formal design of real-time components on a shared data space architecture

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2001, Pages 143-150

  Hannemann, U ^a   Hooman, J ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SOFTWARE; DATABASE SYSTEMS; FORMAL LOGIC; REAL TIME SYSTEMS; THEOREM PROVING;

REAL-TIME COMPONENTS; SHARED DATA SPACES;

DISTRIBUTED COMPUTER SYSTEMS;

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

References (14)

1. Semantical aspects of an architecture for distributed embedded systems
2. Control systems software
3. Software architecture for large embedded systems
4. A software architecture for distributed control systems and its transition system semantics
5. Comparing software architectures for coordination languages
6. Formalization of a software architecture for embedded systems: A process algebra for splice
7. Generative communication in Linda
8. Compositional verification of real-time applications. COMPOS'97
9. PVS: A prototype verification system
10. Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS