Formal design and analysis of a gear controller

DOI10.1007/S100090100048zbMath0993.68133OpenAlexW1538672397WikidataQ126568145 ScholiaQ126568145MaRDI QIDQ5953452

Magnus Lindahl, Paul Pettersson, Wang Yi

Publication date: 29 September 2002

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090100048

zbMATH Keywords

designreal-time systemstimed automatamodel checkingautomotive systems

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Related Items (5)

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Model-checking timed automata with deadlines with Uppaal ⋮ Improvements for the Symbolic Verification of Timed Automata ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata ⋮ Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal

Uses Software

• Uppaal

This page was built for publication: Formal design and analysis of a gear controller