Modeling and schedulability analysis of hard real-time distributed systems based on Ada components

DOI10.1007/3-540-48046-3_22MaRDI QIDQ3045883zbMATH OpenFDO

Authors Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour

Publication date 12 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/2361/23610282.htm

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2176488
• Schedulability of asynchronous real-time concurrent objects
• scientific article; zbMATH DE number 803799
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• Modular design of real-time systems using hierarchical communicating real-time state machines

Cited in

(7)

• Schedulability analysis of real time actor systems using coloured Petri nets
• A POSIX-Ada interface for application-defined scheduling
• A framework for modelling dependable real-time distributed systems
• Modular design of real-time systems using hierarchical communicating real-time state machines
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• A Platform-independent Component Modeling Language for distributed real-time and embedded systems
• Modeling distributed real-time applications with Specification PEARL

Describes a project that uses

Uses Software

• GLADE
• Ada95

This page was built for publication: Modeling and schedulability analysis of hard real-time distributed systems based on Ada components

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