| 1. |
- Abbaneo, Chiara, et al.
(författare)
-
UML based reverse engineering for the verification of railway control logics
- 2007
-
Ingår i: Proceedings of International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006. - : IEEE. - 0769525652 - 9780769525655 ; , s. 3-10
-
Konferensbidrag (refereegranskat)abstract
- 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. © 2006 IEEE.
|
|
| 2. |
- Aissani, D., et al.
(författare)
-
Editorial
- 2017
-
Ingår i: International Journal of Critical Computer-Based Systems. - : Interscience Communications. - 1757-8779 .- 1757-8787. ; 7:1, s. 1-3
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
|
|
| 3. |
- Assenza, Giacomo, et al.
(författare)
-
White Paper on Industry Experiences in Critical Information Infrastructure Security : A Special Session at CRITIS 2019
- 2020
-
Ingår i: Critical Information Infrastructures Security14th International Conference, CRITIS 2019. - Cham : Springer. - 9783030376697 - 9783030376703 ; , s. 197-207
-
Bokkapitel (refereegranskat)abstract
- The security of critical infrastructures is of paramount importance nowadays due to the growing complexity of components and applications. This paper collects the contributions to the industry dissemination session within the 14th International Conference on Critical Information Infrastructures Security (CRITIS 2019). As such, it provides an overview of recent practical experience reports in the field of critical infrastructure protection (CIP), involving major industry players. The set of cases reported in this paper includes the usage of serious gaming for training infrastructure operators, integrated safety and security management in the chemical/process industry, risks related to the cyber-economy for energy suppliers, smart troubleshooting in the Internet of Things (IoT), as well as intrusion detection in power distribution Supervisory Control And Data Acquisition (SCADA). The session has been organized to stimulate an open scientific discussion about industry challenges, open issues and future opportunities in CIP research.
|
|
| 4. |
- Bellini, Emanuele, et al.
(författare)
-
Resilience learning through self adaptation in digital twins of human-cyber-physical systems
- 2021
-
Ingår i: Proceedings of the 2021 IEEE International Conference on Cyber Security and Resilience (CSR). - : IEEE. - 9781665402859 - 9781665402866 ; , s. 168-173
-
Konferensbidrag (refereegranskat)abstract
- Human-Cyber-Physical-Systems (HPCS), such as critical infrastructures in modern society, are subject to several systemic threats due to their complex interconnections and interdependencies. Management of systemic threats requires a paradigm shift from static risk assessment to holistic resilience modeling and evaluation using intelligent, data-driven and run-time approaches. In fact, the complexity and criticality of HCPS requires timely decisions considering many parameters and implications, which in turn require the adoption of advanced monitoring frameworks and evaluation tools. In order to tackle such challenge, we introduce those new paradigms in a framework named RESILTRON, envisioning Digital Twins (DT) to support decision making and improve resilience in HCPS under systemic stress. In order to represent possibly complex and heterogeneous HCPS, together with their environment and stressors, we leverage on multi-simulation approaches, combining multiple formalisms, data-driven approaches and Artificial Intelligence (AI) modelling paradigms, through a structured, modular and compositional framework. DT are used to provide an adaptive abstract representation of the system in terms of multi-layered spatially-embedded dynamic networks, and to apply self-adaptation to time-warped What-If analyses, in order to find the best sequence of decisions to ensure resilience under uncertainty and continuous HPCS evolution.
|
|
| 5. |
- Bernardi, S., et al.
(författare)
-
Enabling the usage of UML in the verification of railway systems : The DAM-rail approach
- 2013
-
Ingår i: Reliability Engineering & System Safety. - : Elsevier. - 0951-8320 .- 1879-0836. ; 120, s. 112-126
-
Tidskriftsartikel (refereegranskat)abstract
- The need for integration of model-based verification into industrial processes has produced several attempts to define Model-Driven solutions implementing a unifying approach to system development. A recent trend is to implement tool chains supporting the developer both in the design phase and V&V activities. In this Model-Driven context, specific domains require proper modelling approaches, especially for what concerns RAM (Reliability, Availability, Maintainability) analysis and fulfillment of international standards. This paper specifically addresses the definition of a Model-Driven approach for the evaluation of RAM attributes in railway applications to automatically generate formal models. For this aim we extend the MARTE-DAM UML profile with concepts related to maintenance aspects and service degradation, and show that the MARTE-DAM framework can be successfully specialized for the railway domain. Model transformations are then defined to generate Repairable Fault Tree and Bayesian Network models from MARTE-DAM specifications. The whole process is applied to the railway domain in two different availability studies. © 2013 Elsevier Ltd.
|
|
| 6. |
- Bernardi, Simona, et al.
(författare)
-
Model-driven availability evaluation of railway control systems
- 2011
-
Ingår i: Computer Safety, Reliability, and Security. SAFECOMP 2011. - Berlin, Heidelberg : Springer. - 9783642242694 ; , s. 15-28
-
Konferensbidrag (refereegranskat)abstract
- Maintenance of real-world systems is a complex task involving several actors, procedures and technologies. Proper approaches are needed in order to evaluate the impact of different maintenance policies considering cost/benefit factors. To that aim, maintenance models may be used within availability, performability or safety models, the latter developed using formal languages according to the requirements of international standards. In this paper, a model-driven approach is described for the development of formal maintenance and reliability models for the availability evaluation of repairable systems. The approach facilitates the use of formal models which would be otherwise difficult to manage, and provides the basis for automated models construction. Starting from an extension to maintenance aspects of the MARTE-DAM profile for dependability analysis, an automated process based on model-to-model transformations is described. The process is applied to generate a Repairable Fault Trees model from the MARTE-DAM specification of the Radio Block Centre - a modern railway controller. © 2011 Springer-Verlag.
|
|
| 7. |
- Besinovic, Nikola, et al.
(författare)
-
Artificial Intelligence in Railway Transport : Taxonomy, Regulations, and Applications
- 2022
-
Ingår i: IEEE transactions on intelligent transportation systems (Print). - : IEEE. - 1524-9050 .- 1558-0016. ; 23:9, s. 14011-14024
-
Tidskriftsartikel (refereegranskat)abstract
- Artificial Intelligence (AI) is becoming pervasive in most engineering domains, and railway transport is no exception. However, due to the plethora of different new terms and meanings associated with them, there is a risk that railway practitioners, as several other categories, will get lost in those ambiguities and fuzzy boundaries, and hence fail to catch the real opportunities and potential of machine learning, artificial vision, and big data analytics, just to name a few of the most promising approaches connected to AI. The scope of this paper is to introduce the basic concepts and possible applications of AI to railway academics and practitioners. To that aim, this paper presents a structured taxonomy to guide researchers and practitioners to understand AI techniques, research fields, disciplines, and applications, both in general terms and in close connection with railway applications such as autonomous driving, maintenance, and traffic management. The important aspects of ethics and explainability of AI in railways are also introduced. The connection between AI concepts and railway subdomains has been supported by relevant research addressing existing and planned applications in order to provide some pointers to promising directions.
|
|
| 8. |
|
|
| 9. |
- Bucaioni, Alessio, 1987-, et al.
(författare)
-
Towards Model-Based Performability Evaluation of Production Systems
- 2020
-
Ingår i: Work-in-progress at IEEE International Conference on Emerging Technologies and Factory Automation WIP@ETFA. - 9781728189567 ; , s. 1085-1088
-
Konferensbidrag (refereegranskat)abstract
- Future smart factories will be increasingly required to predict expected performance and dependability metrics related to their production processes. Domain-specific metrics include overall equipment effectiveness that measures production system availability/uptime, performance/speed and output quality. In this work-in-progress paper, we take initial steps towards a model-based approach to evaluate production-specific metrics using domain-specific languages, model transformations and stochastic modelling formalism
|
|
| 10. |
- Buemi, Francesco, et al.
(författare)
-
Empty vehicle detection with video analytics
- 2013
-
Ingår i: Image Analysis and Processing – ICIAP 2013. ICIAP 2013. - Berlin, Heidelberg : Springer. - 9783642411830 - 9783642411847 ; , s. 731-739
-
Konferensbidrag (refereegranskat)abstract
- An important issue to be addressed in transit security, in particular for driverless metro, is the assurance that a vehicle is empty before it returns to the depot. Customer specifications in recent tenders require that an automatic empty vehicle detector is provided. That improves system security since it prevents voluntary (e.g. in case of thieves or graffiti makers) or involuntary (e.g. in case of drunk or unconscious people) access of unauthorized people to the depot and possibly to other restricted areas. Without automatic systems, a manual inspection of the vehicle should be performed, requiring considerable personnel effort and being prone to failure. To address the issue, we have developed a reliable empty vehicle detection system using video content analytics techniques and standard on-board cameras. The system can automatically check whether the vehicles have been cleared from passengers, thus supporting the security staff and central control operators in providing a higher level of security. © 2013 Springer-Verlag.
|
|
