TIMES -- a tool for modelling and implementation of embedded systems

DOI10.1007/3-540-46002-0_32MaRDI QIDQ4472261zbMATH OpenFDO

Authors Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800460.htm

Mathematics Subject Classification ID

Computer system organization (68M99)

Recommendations

• Kronos: A verification tool for real-time systems
• TAXYS: A tool for the development and verification of real-time embedded systems
• Verification of timed and hybrid systems
• An object-oriented tool for simulating distributed real-time control systems
• Real-time systems design with PEP

Cited in

(12)

• Robust safety of timed automata
• Schedulability analysis of fixed-priority systems using timed automata
• Resources in process algebra
• Task automata: Schedulability, decidability and undecidability
• MaRTE OS: an Ada kernel for real-time embedded applications
• Model Checking Real-Time Systems
• From safety critical Java programs to timed process models
• A survey of timed automata for the development of real-time systems
• An object-oriented tool for simulating distributed real-time control systems
• Graph-based models for real-time workload: a survey
• Spotlight abstraction in model checking real-time task schedulability
• Models and formal verification of multiprocessor system-on-chips

Describes a project that uses

Uses Software

• TIMES

This page was built for publication: TIMES -- a tool for modelling and implementation of embedded systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472261)