Search For:

Displaying 1-14 out of 14 total
Model-Based Development and Formal Methods in the Railway Industry
Found in: IEEE Software
By Alessio Ferrari,Alessandro Fantechi,Stefania Gnesi,Gianluca Magnani
Issue Date:May 2013
pp. 28-34
The transition from a code-based process to a model-based process isn't easy. This is particularly true for a company that operates in a safety-critical sector, where the products must be developed according to international standards, with certified tools...
A GUI Testability Problem: A Case Study in the Railway Signaling Domain
Found in: 2012 Eighth International Conference on the Quality of Information and Communications Technology (QUATIC)
By Andrea Bonacchi,Alessandro Fantechi,Stefano Bacherini,Matteo Tempestini,Leonardo Cipriani
Issue Date:September 2012
pp. 103-107
We report the experience of the validation team of a railway signalling company when addressing the problem of testing an equipment configuration tool. The two contrasting issues that add to the complexity of the task are: the tool includes a Graphical Use...
Formal Description of Variability in Product Families
Found in: Software Product Line Conference, International
By Patrizia Asirelli,Maurice H. ter Beek,Stefania Gnesi,Alessandro Fantechi
Issue Date:August 2011
pp. 130-139
We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discus...
Variability and Rigour in Service Computing Engineering
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Maurice H. ter Beek,Stefania Gnesi,Alessandro Fantechi,José L. Fiadeiro
Issue Date:June 2011
pp. 122-127
We present a research agenda on an emerging topic in software engineering, namely the synergy between Software Product Line Engineering (SPLE) and Service-Oriented Computing (SOC). Our proposal is to develop rigorous modelling techniques as well as analysi...
Model Based Testing and Abstract Interpretation in the Railway Signaling Context
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini
Issue Date:April 2010
pp. 103-106
This article presents the experience of a railway signaling manufacturer in introducing the technologies of model based testing and abstract interpretation as part of its development process. Preliminary results show the better performance of these techniq...
Design Validation of Embedded Dependable Systems
Found in: IEEE Micro
By Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini
Issue Date:September 2001
pp. 52-62
Embedded complex systems require an integrated and best-balanced set of components. To use these components requires some sort of verifiable compositionality, a concept that implies the preservation of properties and the ability to verify them.
Towards a Discipline of System Engineering: Validation of Dependable Systems
Found in: Computer Security, Dependability, and Assurance
By Andrea Bondavalli, Diego Latella, Alessandro Fantechi, Luca Simoncini
Issue Date:July 1998
pp. 144
Complex systems require the use of an integrated and best balanced set of components. The integration and the balanced set are crucial issues, which require some sort of verifiable compositionality property of component parts that contribute structurally, ...
A logical verification methodology for service-oriented computing
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Alessandro Fantechi, Alessandro Lapadula, Francesco Tiezzi, Franco Mazzanti, Rosario Pugliese, Stefania Gnesi
Issue Date:June 2012
pp. 1-46
We introduce a logical verification methodology for checking behavioral properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed for expressing i...
Formal Modeling for Product Families Engineering
Found in: Software Product Line Conference, International
By Alessandro Fantechi, Stefania Gnesi
Issue Date:September 2008
pp. 193-202
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usually present in??product families definitions. In particular, a GEMTS is able to...
Topologically configurable systems as product families
Found in: Proceedings of the 17th International Software Product Line Conference (SPLC '13)
By Alessandro Fantechi
Issue Date:August 2013
pp. 151-156
We address a category of systems whose deployment requires a configuration according to topological information. Although inspired by the case of railway interlocking systems, we give a general definition of topologically configurable control systems. We c...
Design and validation of variability in product lines
Found in: Proceeding of the 2nd international workshop on Product line approaches in software engineering (PLEASE '11)
By Alessandro Fantechi, Franco Mazzanti, Maurice H. ter Beek, Patrizia Asirelli, Stefania Gnesi
Issue Date:May 2011
pp. 25-30
We propose an emerging solution technique, pushing the application of model-checking techniques to the design and validation of variability in a product line (PL), mainly aimed at those industrial domains where model-based development is adopted for the de...
Experimenting with diversity in the model driven development of a railway signaling system
Found in: Proceedings of the 2007 workshop on Engineering fault tolerant systems (EFTS '07)
By Alessandro Fantechi
Issue Date:September 2007
pp. 5-es
In this paper we discuss how we have introduced elements of diversity in the experimental model driven development process of a railway signalling system. The experience has been done inside a larger industrial project undertaken to evaluate the feasibilit...
A behavioural model for product families
Found in: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (ESEC-FSE '07)
By Alessandro Fantechi, Stefania Gnesi
Issue Date:September 2007
pp. 521-524
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usually present in product families definitions. In particular, an EMLTS is able to...
Instantiating generic charts for railway interlocking systems
Found in: Proceedings of the 10th international workshop on Formal methods for industrial critical systems (FMICS '05)
By Alessandro Fantechi, Michele Banci
Issue Date:September 2005
pp. 134-143
The development of computer controlled Railway Interlocking Systems has seen an increasing interest in the use of Formal Methods, due to their ability to precisely specify the logical rules that guarantee the safe establishment of routes for trains through...