论文信息 - The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project - 字舞流文

The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project

This article releases an industrial experiment of using formal methods to conceive, design, develop and test an embedded software in a massproduced device.

André Arnold | Jean-Pierre Radoux | Didier Bégay

[1] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[2] André Arnold,et al. Finite transition systems , 1994 .

[3] André Arnold,et al. An Example of Use of Formal Methods to Debug an Embedded Software , 1996, FME.

[4] Paul Crubillé,et al. Construction and Analysis of Transition Systems with MEC , 1995, AMAST Series in Computing.

[5] Chung Laung Liu,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[6] Paul Crubillé. Réalisation de l'outil Mec : spécification fonctionnelle et architecture , 1989 .

[7] Didier Bégay,et al. An experiment in developing real-time systems using Mec , 1994 .

[8] Lui Sha,et al. Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[9] Lui Sha,et al. Rate Monotonic Analysis for Real-Time Systems , 1991 .