mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Alternative names
Publications (10 of 106) Show all publications
Zhou, J., Hänninen, K., Lundqvist, K. & Provenzano, L. (2018). An Ontological Approach to Identify the Causes of Hazards for Safety-Critical Systems. In: 2017 2nd International Conference on System Reliability and Safety ICSRS'17: . Paper presented at 2017 2nd International Conference on System Reliability and Safety ICSRS'17, 20 Dec 2017, Milan, Italy (pp. 405-413).
Open this publication in new window or tab >>An Ontological Approach to Identify the Causes of Hazards for Safety-Critical Systems
2018 (English)In: 2017 2nd International Conference on System Reliability and Safety ICSRS'17, 2018, p. 405-413Conference paper, Published paper (Refereed)
Abstract [en]

Preliminary hazard analysis (PHA) is a key safety-concerned technique, applied in early stages of safety critical systems development, aiming to provide stakeholders with a general understanding of potential hazards together with their causes. Various studies have asserted that most significant flaws in hazard analysis techniques are related to the omission of causes associated with the identified hazards. In addition, identified causes are sometimes described in too generic terms to provide useful guidance for subsequent activities. In this paper, we propose an approach to explore and identify the causes associated with the hazards from a PHA, aiming to improve the results of hazard causes identification in terms of completeness and usefulness. To achieve the goal, the proposed approach utilizes the hazard-related concepts and relations defined in a hazard domain ontology presented in our previous work. Furthermore, an application scenario of a train control system is used to evaluate our approach.

National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37069 (URN)10.1109/ICSRS.2017.8272856 (DOI)000426453100069 ()2-s2.0-85046626823 (Scopus ID)978-1-5386-3322-9 (ISBN)
Conference
2017 2nd International Conference on System Reliability and Safety ICSRS'17, 20 Dec 2017, Milan, Italy
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2017-10-31 Created: 2017-10-31 Last updated: 2018-05-24Bibliographically approved
Gu, R., Marinescu, R., Seceleanu, C. & Lundqvist, K. (2018). Formal verification of an Autonomous Wheel Loader by model checking. In: Proceedings - International Conference on Software Engineering: . Paper presented at 6th ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, co-located with International Conference on Software Engineering, ICSE 2018, 2 June 2018 (pp. 74-83). IEEE Computer Society
Open this publication in new window or tab >>Formal verification of an Autonomous Wheel Loader by model checking
2018 (English)In: Proceedings - International Conference on Software Engineering, IEEE Computer Society , 2018, p. 74-83Conference paper, Published paper (Refereed)
Abstract [en]

In an attempt to increase productivity and the workers' safety, the construction industry is moving towards autonomous construction sites, where various construction machines operate without human intervention. In order to perform their tasks autonomously, the machines are equipped with different features, such as position localization, human and obstacle detection, collision avoidance, etc. Such systems are safety critical, and should operate autonomously with very high dependability (e.g., by meeting task deadlines, avoiding (fatal) accidents at all costs, etc.). An Autonomous Wheel Loader is a machine that transports materials within the construction site without a human in the cab. To check the dependability of the loader, in this paper we provide a timed automata description of the vehicle's control system, including the abstracted path planning and collision avoidance algorithms used to navigate the loader, and we model check the encoding in UPPAAL, against various functional, timing and safety requirements. The complex nature of the navigation algorithms makes the loader's abstract modeling and the verification very challenging. Our work shows that exhaustive verification techniques can be applied early in the development of autonomous systems, to enable finding potential design errors that would incur increased costs if discovered later.

Place, publisher, year, edition, pages
IEEE Computer Society, 2018
Keywords
Autonomous Vehicle, Collision Avoidance, Formal Verification, Model Checking, Timed Automata, UPPAAL, Accident prevention, Automata theory, Construction equipment, Construction industry, Loaders, Mining machinery, Motion planning, Obstacle detectors, Wheels, Autonomous constructions, Autonomous Vehicles, Construction machines, Navigation algorithms, Safety requirements, Verification techniques
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-40747 (URN)10.1145/3193992.3193999 (DOI)2-s2.0-85052130860 (Scopus ID)9781450357180 (ISBN)
Conference
6th ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, co-located with International Conference on Software Engineering, ICSE 2018, 2 June 2018
Available from: 2018-09-07 Created: 2018-09-07 Last updated: 2018-09-07Bibliographically approved
Šurković, A., Hanić, D., Lisova, E., Causevic, A., Lundqvist, K., Wenslandt, D. & Falk, C. (2018). Incorporating attacks modeling into safety process. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): . Paper presented at ASSURE, DECSoS, SASSUR, STRIVE, and WAISE 2018 co-located with 37th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2018; Västerås; Sweden; 18 September 2018 through 21 September 2018 (pp. 31-41). Springer Verlag, 11094
Open this publication in new window or tab >>Incorporating attacks modeling into safety process
Show others...
2018 (English)In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag , 2018, Vol. 11094, p. 31-41Conference paper, Published paper (Refereed)
Abstract [en]

Systems of systems (SoS) are built as a collection of systems capable of fulfilling their own function, as well as contributing to other functionalities. They are expected to increase production efficiency and possibly decrease human involvement in harmful environments, and in many cases such systems are safety-critical. For SoS it is a paramount to provide both safety and security assurance. It is not sufficient to analyze and provide assurance of these properties independently due to their mutual connection. Hence, a joint effort addressing safety and security that provides joint guarantees on both properties, is required. In this paper we provide a safety and security assurance argument by incorporating an adversary point of view, and identify potential failures coming from the security domain that might lead to an already identified set of hazards. In this way system assets, vulnerabilities and ways to exploit them can be assessed. As an outcome mitigation strategies coming from security considerations can be captured by the safety requirements. The approach is illustrated on an autonomous quarry.

Place, publisher, year, edition, pages
Springer Verlag, 2018
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11094
Keywords
Safety engineering, Systems engineering, Increase productions, Mitigation strategy, Potential failures, Safety and securities, Safety requirements, Security considerations, Security domains, Systems of systems, System of systems
National Category
Computer Systems Embedded Systems
Identifiers
urn:nbn:se:mdh:diva-41127 (URN)10.1007/978-3-319-99229-7_4 (DOI)000458807000004 ()2-s2.0-85053870453 (Scopus ID)9783319992280 (ISBN)
Conference
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE 2018 co-located with 37th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2018; Västerås; Sweden; 18 September 2018 through 21 September 2018
Available from: 2018-10-10 Created: 2018-10-10 Last updated: 2019-03-07Bibliographically approved
Zhou, J., Hänninen, K. & Lundqvist, K. (2017). A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology. In: 43rd Euromicro Conference on Software Engineering and Advanced Applications SEAA'17: . Paper presented at 43rd Euromicro Conference on Software Engineering and Advanced Applications SEAA'17, 30 Aug 2017, Vienna, Austria (pp. 301-304).
Open this publication in new window or tab >>A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology
2017 (English)In: 43rd Euromicro Conference on Software Engineering and Advanced Applications SEAA'17, 2017, p. 301-304Conference paper, Published paper (Refereed)
Abstract [en]

Preliminary hazard analysis (PHA) is a key safety-concerned activity, applied during the early stages of safety-critical systems development process, aiming to provide stakeholders with a general understanding of potential hazards. The identified hazards will be described and serve as a basis to further identify mitigation mechanisms in the subsequent development process. However, since various stakeholders will be involved in the identification process, a common understanding of the nature of hazards among stakeholders, such as what a hazard consists of and how to describe it without ambiguities, is of crucial importance to achieve the goal of PHA. In this work, we propose a hazard modeling language (HML) based on a hazard domain ontology, i.e., the Hazard Ontology, in order to facilitate the specification of identified hazards. In addition, we present an approach to the transformation from natural language hazard descriptions into the HML specification. Finally, an industrial PHA example is used to illustrate the usefulness of our work.

Keywords
hazard ontologyhazard modeling languagesafety-critical systempreliminary hazard analysis
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-35513 (URN)10.1109/SEAA.2017.48 (DOI)000426074600044 ()9781538621400 (ISBN)
Conference
43rd Euromicro Conference on Software Engineering and Advanced Applications SEAA'17, 30 Aug 2017, Vienna, Austria
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2017-06-01 Created: 2017-06-01 Last updated: 2018-03-15Bibliographically approved
Provenzano, L., Hänninen, K., Zhou, J. & Lundqvist, K. (2017). An Ontological Approach to Elicit Safety Requirements. In: 24th Asia-Pacific Software Engineering Conference APSEC 2017: . Paper presented at 24th Asia-Pacific Software Engineering Conference APSEC 2017, 04 Dec 2017, Nanjing, China (pp. 713-718).
Open this publication in new window or tab >>An Ontological Approach to Elicit Safety Requirements
2017 (English)In: 24th Asia-Pacific Software Engineering Conference APSEC 2017, 2017, p. 713-718Conference paper, Published paper (Refereed)
Abstract [en]

Safety requirements describe risk mitigations against failures that may cause catastrophic consequences on human life, environment and facilities. To be able to implement the correct risk mitigations, it is fundamental that safety requirements are de- fined based on the results issued from the safety analysis. In this paper, we introduce a heuristic approach to elicit safety requirements based on the knowledge about hazard’s causes, hazard’s sources and hazard’s consequences (i.e. hazard’s components) acquired during the safety analysis. The proposed approach is based on a Hazard Ontology that is used to structure the knowledge about the hazards identified during the safety analysis in order to make it available and accessible for requirements elicitation. We describe how this information can be used to elicit safety requirements, and provide a guidance to derive the safety requirements which are appropriate to deal with the hazards they mitigate.

Keywords
Safety requirements, safety requirements elicitation, ontologies, hazards, hazard's components
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37099 (URN)10.1109/APSEC.2017.91 (DOI)000428733800084 ()2-s2.0-85045921379 (Scopus ID)978-1-5386-3681-7 (ISBN)
Conference
24th Asia-Pacific Software Engineering Conference APSEC 2017, 04 Dec 2017, Nanjing, China
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2017-10-26 Created: 2017-10-26 Last updated: 2018-05-11Bibliographically approved
Zhou, J., Hänninen, K., Lundqvist, K. & Provenzano, L. (2017). An Ontological Approach to Hazard Identification for Safety-Critical Systems. In: 2017 2nd International Conference on Reliability Systems Engineering, ICRSE 2017: . Paper presented at 2nd International Conference on Reliability Systems Engineering, ICRSE 2017; Beijing Yanqi Lake International Convention and Exhibition Center (BYCC)Huairou, Beijing; China; 10 July 2017 through 12. Beijing, China, Article ID 8030746.
Open this publication in new window or tab >>An Ontological Approach to Hazard Identification for Safety-Critical Systems
2017 (English)In: 2017 2nd International Conference on Reliability Systems Engineering, ICRSE 2017, Beijing, China, 2017, article id 8030746Conference paper, Published paper (Refereed)
Abstract [en]

Hazard identification is an essential but very de- manding task for the development of safety-critical systems (SCSs). Current practices suffer from one or several drawbacks listed below: 1) a common hazard conceptualization is missing and thereby ambiguities may arise and, 2) there is still a need to formalize the experience of analysts and lessons learned from previous system development in a structured way to facilitate future reuse. and, 3) some hazard identification techniques require well-known system behaviors represented by models, such as automata and sequence diagrams, to identify hazards, and however such models are typically susceptible to changes or even not available in early stages. In this paper, we propose an ontological approach to support hazard identification in the early stages of the development of SCSs. The approach aims to improve hazard identification results in terms of completeness and unambiguity. A robotic strolling assistant system is used to evaluate the proposed approach.

Place, publisher, year, edition, pages
Beijing, China: , 2017
Keywords
hazard ontologyhazard identificationpreliminary hazard analysissafety-critical systems
National Category
Engineering and Technology Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-35514 (URN)10.1109/ICRSE.2017.8030746 (DOI)000425930200036 ()2-s2.0-85032291985 (Scopus ID)9781538609187 (ISBN)
Conference
2nd International Conference on Reliability Systems Engineering, ICRSE 2017; Beijing Yanqi Lake International Convention and Exhibition Center (BYCC)Huairou, Beijing; China; 10 July 2017 through 12
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2017-06-05 Created: 2017-06-05 Last updated: 2018-03-15Bibliographically approved
Zhou, J., Hänninen, K., Lundqvist, K. & Provenzano, L. (2017). An Ontological Interpretation of the Hazard Concept for Safety-Critical Systems. In: PROCEEDINGS OF THE 27TH EUROPEAN SAFETY AND RELIABILITY CONFERENCE (ESREL 2017), PORTOROZ , SLOVENIA, 18–22 JUNE 2017: . Paper presented at The 27th European Safety and Reliability Conference ESREL'17, 18-22 Jun 2017, Portoroz, Slovenia (pp. 183-185).
Open this publication in new window or tab >>An Ontological Interpretation of the Hazard Concept for Safety-Critical Systems
2017 (English)In: PROCEEDINGS OF THE 27TH EUROPEAN SAFETY AND RELIABILITY CONFERENCE (ESREL 2017), PORTOROZ , SLOVENIA, 18–22 JUNE 2017, 2017, p. 183-185Conference paper, Published paper (Refereed)
Abstract [en]

The hazard concept has been extensively used in the literature and defined in an informal way, which serves as a guidance on identifying the potential hazards during the development of safety-critical systems. Intuitively, the definitions seem to be consistent and easy to understand. However, when we take a closer look at these definitions, ambiguities may arise, and real-world semantics need to be defined. In this work, we propose a hazard domain ontology, i.e., the Hazard Ontology (HO), to provide an ontological interpretation of hazard. To tackle the aforementioned issues, the HO is grounded in the Unified Foundational Ontology (UFO) to utilize the benefits provided by taking foundational concepts into account. Finally, we show some useful findings when we use the proposed ontology to analyze the hazard descriptions from an industrial passenger train project.

Keywords
UFO Ontology, Hazard analysis, Safety-critical systems
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-36999 (URN)2-s2.0-85059259798 (Scopus ID)978-1-315-21046-9 (ISBN)
Conference
The 27th European Safety and Reliability Conference ESREL'17, 18-22 Jun 2017, Portoroz, Slovenia
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2017-11-27 Created: 2017-11-27 Last updated: 2019-04-11Bibliographically approved
Johnsen, A., Lundqvist, K., Hänninen, K. & Pettersson, P. (2017). AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Volume 2017: . Paper presented at 28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017; Toulouse; France; 23 October 2017 through 26 October 2017 (pp. 260-270). , Article ID 8109092.
Open this publication in new window or tab >>AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems
2017 (English)In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Volume 2017, 2017, p. 260-270, article id 8109092Conference paper, Published paper (Refereed)
Abstract [en]

Architectural engineering of embedded systems comprehensively affects both the development processes and the abilities of the systems. Verification of architectural engineering is consequently essential in the development of safety- and mission-critical embedded system to avoid costly and hazardous faults. In this paper, we present the Architecture Quality Assurance Tool (AQAT), an application program developed to provide a holistic, formal, and automatic verification process for architectural engineering of critical embedded systems. AQAT includes architectural model checking, model-based testing, and selective regression verification features to effectively and efficiently detect design faults, implementation faults, and faults created by maintenance modifications. Furthermore, the tool includes a feature that analyzes architectural dependencies, which in addition to providing essential information for impact analyzes of architectural design changes may be used for hazard analysis, such as the identification of potential error propagations, common cause failures, and single point failures. Overviews of both the graphical user interface and the back-end processes of AQAT are presented with a sensor-to-actuator system example.

National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37453 (URN)10.1109/ISSRE.2017.32 (DOI)000426939700025 ()2-s2.0-85040780004 (Scopus ID)9781538609415 (ISBN)
Conference
28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017; Toulouse; France; 23 October 2017 through 26 October 2017
Available from: 2017-12-14 Created: 2017-12-14 Last updated: 2018-03-29Bibliographically approved
Causevic, A., Fotouhi, H. & Lundqvist, K. (2017). Data Security and Privacy in Cyber-Physical Systems for Healthcare. In: Houbing Song D, Glenn A. Fink PhD, and Sabina Jeschke Dr. rer. nat. (Ed.), Security and Privacy in Cyber-Physical Systems: Foundations, Principles, and Applications (pp. 305-320). Wiley-IEEE Press
Open this publication in new window or tab >>Data Security and Privacy in Cyber-Physical Systems for Healthcare
2017 (English)In: Security and Privacy in Cyber-Physical Systems: Foundations, Principles, and Applications / [ed] Houbing Song D, Glenn A. Fink PhD, and Sabina Jeschke Dr. rer. nat., Wiley-IEEE Press , 2017, p. 305-320Chapter in book (Other academic)
Place, publisher, year, edition, pages
Wiley-IEEE Press, 2017
National Category
Medical Engineering Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37067 (URN)978-1-119-22604-8 (ISBN)
Projects
ESS-H - Embedded Sensor Systems for Health Research Profile
Available from: 2017-10-31 Created: 2017-10-31 Last updated: 2017-10-31Bibliographically approved
Forsberg, H., Lundqvist, K., Ekstrand, F. & Otterskog, M. (2017). Early Results and Ideas for Enhancements of the Master of Engineering Programme in Dependable Aerospace Systems. In: The 6th Development Conference for Swedish Engineering USIU2017: . Paper presented at The 6th Development Conference for Swedish Engineering USIU2017, 22 Nov 2017, Gothenburg, Sweden.
Open this publication in new window or tab >>Early Results and Ideas for Enhancements of the Master of Engineering Programme in Dependable Aerospace Systems
2017 (English)In: The 6th Development Conference for Swedish Engineering USIU2017, 2017Conference paper, Published paper (Refereed)
Abstract [en]

The five-year Master of Engineering Programme in Dependable Aerospace Systems, with dependability as its silver thread, started at Mälardalen University (MDH) in 2015. This paper presents selected ideas behind the creation of the programme, together with some preliminary analysis of current results and suggested enhancements for the programme’s fourth and fifth years.

Keywords
Dependability, Aerospace Systems, Unified Engineering, Undergraduate Research Opportunities
National Category
Educational Sciences
Identifiers
urn:nbn:se:mdh:diva-38620 (URN)
Conference
The 6th Development Conference for Swedish Engineering USIU2017, 22 Nov 2017, Gothenburg, Sweden
Projects
AVANS - civilingenjörsprogrammet i tillförlitliga flyg- och rymdsystem
Available from: 2018-03-06 Created: 2018-03-06 Last updated: 2018-03-06Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0003-0904-3712

Search in DiVA

Show all publications