scientific article; zbMATH DE number 2080067

MaRDI QIDQ4472261zbMATH OpenFDO

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

Publication date 4 August 2004

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
• scientific article; zbMATH DE number 1796149
• scientific article; zbMATH DE number 1696448
• An object-oriented tool for simulating distributed real-time control systems
• scientific article; zbMATH DE number 2080070

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
• scientific article; zbMATH DE number 1706354 (Why is no real title available?)
• 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:

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