Model-based system analysis using Chi and Uppaal: An industrial case study

Authors:
N. C. W. M. Braspenning;E. M. Bortnik;J. M. van de Mortel-Fronczak;J. E. Rooda
Affiliations:
Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
Venue:
Computers in Industry
Year:
2008

Citing 11
Cited 1

Hardware/software co-simulation

DAC '94 Proceedings of the 31st annual Design Automation Conference
Automatic code generation from design patterns

IBM Systems Journal
Software Defect Reduction Top 10 List

Computer
From Requirements to Validated Embedded Systems

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Distributing Timed Model Checking - How the Search Order Matters

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Code synthesis for timed automata

Nordic Journal of Computing
MDA Explained: The Model Driven Architecture: Practice and Promise

MDA Explained: The Model Driven Architecture: Practice and Promise
UPPAAL 4.0

QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Model checker aided design of a controller for a wafer scanner

International Journal on Software Tools for Technology Transfer (STTT)
Model-based testing of a WAP gateway: an industrial case-study

FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Modelling and analysis of a commercial field bus protocol

Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems

Estimating and quantifying the impact of using models for integration and testing

Computers in Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

Information retrieval (IR) is a well-established research and development area. Document formats such as SGML (Standard Generalised Mark-up Language) and XML (eXtensible Mark-up Language) have become widely used in recent years. Traditional IR systems ...