Real-time interfaces for composing real-time systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Incremental schedulability analysis of hierarchical real-time components
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Towards verifiable deeply embedded systems
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Interface theories with component reuse
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
System level performance analysis for real-time automotive multicore and network architectures
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Timed I/O automata: a complete specification theory for real-time systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Verification of real-time systems: application to the transportation domain
NTMS'09 Proceedings of the 3rd international conference on New technologies, mobility and security
Predictable actor-oriented design strategies for timing-centric distributed embedded software
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2
A proposal for real-time interfaces in SPEEDS
Proceedings of the Conference on Design, Automation and Test in Europe
A software update service with self-protection capabilities
Proceedings of the Conference on Design, Automation and Test in Europe
WCRT algebra and interfaces for Esterel-style synchronous processing
Proceedings of the Conference on Design, Automation and Test in Europe
Real-time performance analysis of multiprocessor systems with shared memory
ACM Transactions on Embedded Computing Systems (TECS)
A process algebraic framework for modeling resource demand and supply
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Methodologies for specification of real-time systems using timed I/O automata
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Toward probabilistic real-time calculus
ACM SIGBED Review
The earlier the better: a theory of timed actor interfaces
Proceedings of the 14th international conference on Hybrid systems: computation and control
Theoretical Computer Science
Compositional real-time models
Journal of Systems Architecture: the EUROMICRO Journal
An MDE approach to address synchronization needs in component-based real-time systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Compositional temporal analysis model for incremental hard real-time system design
Proceedings of the tenth ACM international conference on Embedded software
Design of component-based real-time applications
Journal of Systems and Software
Independent implementability of viewpoints
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Assembling Components using SysML with Non-Functional Requirements
Electronic Notes in Theoretical Computer Science (ENTCS)
Using timing analysis for the design of future switched based ethernet automotive networks
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Modeling and specification of real-time interfaces with UTP
Theories of Programming and Formal Methods
Hi-index | 0.00 |
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component interface consists of an arrival rate function and a latency for each task sequence, and a capacity function for the shared resource. The interface specifies that the component guarantees certain task latencies depending on assumptions about task arrival rates and allocated resource capacities. Our algebra defines compatibility and refinement relations on interfaces. Interface compatibility can be checked on partial designs, even when some component interfaces are yet unknown. In this case interface composition computes as new assumptions the weakest constraints on the unknown components that are necessary to satisfy the specified guarantees. Interface refinement is defined in a way that ensures that compatible interfaces can be refined and implemented independently. Our algebra thus formalizes an interface-based design methodology that supports both the incremental addition of new components and the independent stepwise refinement of existing components. We demonstrate the flexibility and efficiency of the framework through simulation experiments.