IEE Colloquium. Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems

Buy conference proceeding
(plus tax if applicable)
  • Location: London, UK
  • Conference date: 11 Jan. 1999
  • Conference number: 1999/006
  • The following topics are dealt with: real time systems modelling, verification and analysis; safety critical systems; system testing; model checking; systems development; and program verification

8 items found

  • Method integration for real-time software design
  • UML and the formal development of safety-critical real-time systems
  • A modular tool for test generation for real-time systems
  • Specification-based testing for real-time avionic systems
  • A framework for model-checking timed CSP
  • Using sharing trees in the automated analysis of real-time systems with data
  • Reducing conservatism in response time analysis of distributed systems
  • Evolutionary algorithms for the verification of execution time bounds for real-time software
Items per page 20 | 50 | 100
This is a required field
Please enter a valid email address