• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. A modular verification of complex real-time systems
 
  • Details
  • Full
Options
1994
Conference Paper
Title

A modular verification of complex real-time systems

Abstract
A coloured Petri nets based specification and verification concept for complex real-time systems are presented The verification technique proposed in this paper requires the construction of the labelled state graphs to the given functional model and architecture model to prove that both have the same legal trajectories regarding the same set of observables.
Author(s)
Borusan, A.
Mainwork
Humans, information and technology. Vol. 2  
Conference
International Conference on Systems, Man, and Cybernetics (SMC) 1994  
DOI
10.1109/ICSMC.1994.400026
Language
English
Fraunhofer-Institut für Software- und Systemtechnik ISST  
Keyword(s)
  • Echtzeitsystem

  • petri net

  • Petrinetz

  • real-time system

  • specification

  • Spezifikation

  • verification

  • verification

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024