Validation Coverage for a Component-based SDL model of a Railway Signaling System

Over the last two years, the QUACK project investigated a new methodology for assessing the quality of heterogeneous, modular and configurable embedded systems, i.e., systems made out of a number of hardware and software components, usually embedded in devices with real-time requirements, and produced in families of different versions and configurations. The main aim of the project was to overcome the limitations of traditional techniques in dealing with the many new aspects and issues that arise, when the addressed class of systems is under concern. This paper surveys the final results of the QUACK project: that is, a new methodology for quality assessment of heterogeneous, modular and configurable embedded systems, throughout the whole software process.

show abstract

“…An elaboration of the model described in [15] is presented in this volume in the paper by Banci et al [4].…”

Section: Verification Of Non Functional Propertiesmentioning

confidence: 98%

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems

Pezzè¹,

Baldini²,

Denaro³

et al. 2005

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

show abstract

“…In particular some first experiments, have been attempted, modeling in SDL some already produced systems [1,7], with specific attention to the issues of validation coverage [2] and of code generation [3].…”

Section: The Experimentsmentioning

confidence: 99%

A Story About Formal Methods Adoption by a Railway Signaling Manufacturer

Bacherini

Fantechi

Tempestini

et al. 2006

FM 2006: Formal Methods

View full text Add to dashboard Cite

Abstract. This paper reports the story of the introduction of formal methods in the development process of a railway signaling manufacturer. The first difficulty for a company is due to the many different formal methods proposals around; we show how this difficulty has been addressed and how the choice of a reference formal specification notation and of the related tools has been driven by many external factors related to the specific application domain, to the company policies, to european regulations. Cooperation with University has been fundamental in this process, which is now at the stage in which internal acceptance of the chosen formalisms and tools is established.

show abstract

Validation Coverage for a Component-based SDL model of a Railway Signaling System

Cited by 2 publications

References 4 publications

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems

A Story About Formal Methods Adoption by a Railway Signaling Manufacturer

Contact Info

Product

Resources

About