Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Analyzing Paths in Time Petri Nets
Fundamenta Informaticae
A Method to Prove Non-Reachability in Priority Duration Petri Nets
Fundamenta Informaticae
Using State Equation to Prove Non-Reachability in Timed Petrinets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper, we introduce our concept of composability and present the MSS architecture as an example for a composable architecture. MSS claims to be composable with respect to timing properties. We discuss, how to model and prove properties in such an architecture with time-extended Petrinets. As a result, the first step of a proof of composability is presented as well as a new kind of Petrinet, which is more suitable for modeling architectures like MSS.