Model-based specification of timing requirements

Authors:
Christian Buckl;Irina Gaponova;Michael Geisinger;Alois Knoll;Edward A. Lee
Affiliations:
fortiss GmbH, München, Germany;Technische Universität München, Garching bei München, Germany;fortiss GmbH, München, Germany;Technische Universität München, Garching bei München, Germany;University of California at Berkeley, Berkeley, CA, USA
Venue:
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Year:
2010

Citing 14
Cited 0

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Misconceptions About Real-Time Computing: A Serious Problem for Next-Generation Systems

Computer
Analyzing timing requirements

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
Real-Time Systems: Design Principles for Distributed Embedded Applications

Real-Time Systems: Design Principles for Distributed Embedded Applications
Modeling concurrent real-time processes using discrete events

Annals of Software Engineering
UPPAAL - Now, Next, and Future

MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Timed Automata

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
The specification of timing requirements for real-time systems using timed petri nets

The specification of timing requirements for real-time systems using timed petri nets
Scheduling dependent real-time activities

Scheduling dependent real-time activities
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems

RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
A Programming Model for Time-Synchronized Distributed Real-Time Systems

RTAS '07 Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium
Specification and analysis of timing requirements for real-time systems in the CBD approach

Real-Time Systems
Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture

SERA '07 Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management & Applications

Quantified Score

Hi-index	0.02

Visualization

Abstract

In the past, model-based development focused mainly on functional and structural aspects of the system to be developed. Recently, several approaches to include timing aspects have been suggested. However, these approaches are typically applied in later development phases. Models specifying the requirements with respect to timing without focusing on a specific solution are missing. For example, few models support the specification of the allowed jitter of a system. In this paper, we identify requirements on languages for modeling the desired timing behavior of hard and soft real-time systems by analyzing different application domains. Based on these results, we evaluate existing approaches with respect to their suitability and present a suitable approach. Finally, this paper describes the application of the suggested approach in the context of an example from the automation domain.