Formal modeling and analysis of timed systems: technology push or market pull?

Authors:
Boudewijn R. Haverkort
Affiliations:
Embedded Systems Institute, Eindhoven and Design and Analysis of Communication Systems, University of Twente
Venue:
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Year:
2011

Citing 5
Cited 0

Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Design and validation of computer protocols

Design and validation of computer protocols
Should Computer Scientists Experiment More?

Computer
Software-Engineering Research Revisited

IEEE Software
Performance evaluation and model checking join forces

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this short paper I will address the question whether the methods and techniques we develop are applied well in industrial practice. To address this question, I will make a few observations from the academic field, as well as from industrial practice. This will be followed by a concise analysis of the cause of the perceived gap between the academic state-of-the-art and industrial practice. I will conclude with some opportunities for improvement.