Design validation of embedded dependable systems

Bondavalli, Andrea; Fantechi, Alessandro; Latella, Diego; Simoncini, L.

doi:10.1109/40.958699

Cited by 12 publications

(6 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…UML is widely accepted as a de facto standard in software engineering; its syntax and semantics have been formalized by the Object Management Group (OMG) [9] and used by several commercial automated modeling and development suites (see for instance [10]). Several applications of UML, apart from pure software design and development, are referenced in research literature (see [1]). The use we make of UML is not as formal as a model checker (see [2]), but it easily allows to manage complex systems and can be the basis of a series of analyses and refinements, as explained in the following of this paper.…”

Section: Introductionmentioning

confidence: 99%

UML Based Reverse Engineering for the Verification of Railway Control Logics

Abbaneo

Flammini

Lazzaro

et al. 2006

2006 International Conference on Dependability of Computer Systems

View full text Add to dashboard Cite

The Unified Modeling Language (UML) is widely used as a high level object oriented specification language. In this paper we present a novel approach in which reverse engineering is performed using UML as the modelling language used to achieve a representation of the implemented system. The target is the core logic of a complex critical railway control system, which was written in an application specific legacy language. UML perfectly suited to represent the nature of the core logic, made up by concurrent and interacting processes, using a bottom-up approach and proper modeling rules. Each process, in fact, was strictly related to the management of a physically (resp. logically) well distinguished railway device (resp. functionality). The obtained model deeply facilitated the static analysis of the logic code, allowing for at a glance verification of correctness and compliance with higher-level specifications, and opened the way to refactoring and other formal analyses.

show abstract

Section: Introductionmentioning

confidence: 99%

UML Based Reverse Engineering for the Verification of Railway Control Logics

Abbaneo

Flammini

Lazzaro

et al. 2006

2006 International Conference on Dependability of Computer Systems

View full text Add to dashboard Cite

show abstract

“…The verification of model properties is also partly automatable (reference [10] reports an effort in defining formal techniques, including model checking, to be used on UMl diagrams). The traceability and verification of compliance with natural language requirements would obviously benefit from a formalization of the functional requirements.…”

Section: Conclusion Lessons Learnt and Future Workmentioning

confidence: 99%

“…Several approaches to model-checking real-time control systems have been proposed and successfully applied; some directly on code (see [6,23,24]), others on UMl models (see [10,25,26]). However, it is generally accepted that formal verification is rarely adequate to govern the complexity of real world systems, and their contribution can be con si dered as complementary to the ones provided by traditional approaches (i.e.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Modeling of Railway Logics for Reverse Engineering, Verification and Refactoring

2011

View full text Add to dashboard Cite

Model-based approaches are widespread both in functional and non-functional verification activities of critical computer-based systems. Reverse engineering can also be used to support checks for correctness of system implementation against its requirements. In this paper, we show how a model-based technique, using the Unified Modeling language (UMl), suits the reverse engineering of complex control logics. UMl is usually exploited to drive the development of software systems, using an object-oriented and bottom-up approach; however, it can be also used to model legacy non-object-oriented logic processes featuring a clear distinction between data structures and related operations. Our case-study consists in the most important component of the European Railway Traffic Management System/European Train control System: the Radio Block center (RBc). The model we obtained from the logic code of the RBc significantly facilitated both structural and behavioral analyses, giving a valuable contribution to the static verification and refactoring of the software under test.

show abstract

“…There exist several tools that support these, such as Item Toolkit 1 and Sharpe [9]. However, today's analysis and validation techniques remain separate and are not integrated at all [10]. This means that each of the techniques requires defining a particular system model.…”

Section: Introductionmentioning

confidence: 98%

A Tool for Reliability and Availability Prediction

Immonen

Niskanen

31st EUROMICRO Conference on Software Engineering and Advanced Applications

View full text Add to dashboard Cite

As the number of embedded systems in everyday usage has been increasing at an enormous rate recently, the demand for reliable and readily available systems is continuously growing. Problems in reliability and availability are typically detected after system implementation, when fault correction and modifications are difficult and expensive to implement. This is why a new method has been developed for predicting reliability and availability already from architectural models. However, to be beneficial in system development, the prediction method should enable quick, easy and repeatable quality analysis. Therefore, the different procedures and features of the method require tool support.Our contribution is the tool that supports reliability and availability prediction at the architectural level. The tool enables a representation of these two quality attributes in the architecture, and assists in analyzing system reliability and availability using architectural models. The tool has been tested and validated by using it for reliability and availability prediction in a case example.

show abstract

Design validation of embedded dependable systems

Cited by 12 publications

References 21 publications

UML Based Reverse Engineering for the Verification of Railway Control Logics

UML Based Reverse Engineering for the Verification of Railway Control Logics

Modeling of Railway Logics for Reverse Engineering, Verification and Refactoring

A Tool for Reliability and Availability Prediction

Contact Info

Product

Resources

About