Timing constraints: theory meets practice

Authors:
Björn Lisper;Johan Nordlander;Sophie Quinton
Affiliations:
School of Innovation, Design, and Engineering, Mälardalen University, Västerås, Sweden;Department of Computer Science, Electrical and Space Engineering, Luleå University of Technology, Luleå, Sweden;Institute of Computer Network and Engineering, TU Braunschweig, Germany
Venue:
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Year:
2012

Citing 7
Cited 0

A simple and flexible timing constraint logic

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Generalized weakly-hard constraints

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Modeling a BSG-E automotive system with the timing augmented description language

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Formal analysis of TESLA protocol in the timed OTS/CafeOBJ method

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Formal specification and verification of task time constraints for real-time systems

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
The WCET analysis tool calcwcet167

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Abstract execution for event-driven systems --- an application from automotive/infotainment development

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many embedded systems must satisfy timing requirements, which describe how these systems should behave with respect to timing. Such requirements must be dealt with throughout the system development process: from their initial specification, expressed at an abstract level, through the increasingly concrete layers, to the final implementation level. There is a growing awareness that this process needs support from languages, tools, and methodologies.