mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Forsberg, Håkan
Publications (4 of 4) Show all publications
Sundell, J., Torkar, R., Lundqvist, K. & Forsberg, H. (2019). Prediction of Undetected Faults in Safety-Critical Software. In: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2019): . Paper presented at 12th IEEE International Conference on Software Testing, Verification and Validation (ICST), 23 Apr 2019, Xi'an, China (pp. 296-304). Xi'an, China
Open this publication in new window or tab >>Prediction of Undetected Faults in Safety-Critical Software
2019 (English)In: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2019), Xi'an, China, 2019, p. 296-304Conference paper, Published paper (Refereed)
Abstract [en]

Safety-critical software systems need to meet exceptionally strict standards in terms of dependability. Best practice to achieve this is to follow and develop the software according to domain specific standards. These standards give guidelines on development and testing activities. The challenge is that even if you follow the steps of the appropriate standard you have no quantification of the amount of faults potentially still lingering in the system. This paper presents a way to statistically estimate the amount of undetected faults, based on test results.

Place, publisher, year, edition, pages
Xi'an, China: , 2019
Keywords
software, safety-critical, test, fault prediction.
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-43940 (URN)10.1109/ICSTW.2019.00069 (DOI)000477742600045 ()978-1-7281-0888-9 (ISBN)
Conference
12th IEEE International Conference on Software Testing, Verification and Validation (ICST), 23 Apr 2019, Xi'an, China
Projects
DPAC - Dependable Platforms for Autonomous systems and ControlITS ESS-H Industrial Graduate School in Reliable Embedded Sensor Systems
Available from: 2019-06-20 Created: 2019-06-20 Last updated: 2019-08-15Bibliographically approved
Schwierz, A. & Forsberg, H. (2018). Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Ed.), : . Paper presented at 37th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2018; Vasteras; Sweden; 18 September 2018 through 21 September 2018 (pp. 27-41). Springer Verlag
Open this publication in new window or tab >>Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics
2018 (English)In: / [ed] Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag , 2018, p. 27-41Conference paper, Published paper (Refereed)
Abstract [en]

The usage of complex Microcontroller Units (MCUs) in avionics systems constitutes a challenge in assuring their safety. They are not always developed according to the assurance requirements accepted by the aerospace industry. These Commercial off-the-shelf (COTS) hardware components usually target other domains like the telecommunication branch, because of the volume of sales and reduced liability. In the last years MCUs developed in compliance to the ISO 26262 have been released on the market for safety-related automotive applications. The avionics market could profit taking credit for some of the activities conducted in developing these MCUs. In this paper we present evaluation results based on comparing assurance activities from ISO 26262 that could be considered for compliance to relevant assurance guidance for COTS MCU in avionics. 

Place, publisher, year, edition, pages
Springer Verlag, 2018
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11093
Keywords
Assurance, Avionics, COTS, DO-254, ISO 26262, Microcontroller, Reuse, Aerospace industry, Commerce, Controllers, Safety engineering, Microcontrollers
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-41128 (URN)10.1007/978-3-319-99130-6_3 (DOI)000458564600003 ()2-s2.0-85053769065 (Scopus ID)9783319991290 (ISBN)
Conference
37th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2018; Vasteras; Sweden; 18 September 2018 through 21 September 2018
Available from: 2018-10-08 Created: 2018-10-08 Last updated: 2019-02-28Bibliographically approved
Schwierz, A. & Forsberg, H. (2018). Assurance Case to Structure COTS Hardware Component Assurance for Safety-Critical Avionics. In: 37th Digital Avionics Systems Conference DASC'37: . Paper presented at 37th Digital Avionics Systems Conference DASC'37, 23 Sep 2018, London, United Kingdom. , 8569774
Open this publication in new window or tab >>Assurance Case to Structure COTS Hardware Component Assurance for Safety-Critical Avionics
2018 (English)In: 37th Digital Avionics Systems Conference DASC'37, 2018, Vol. 8569774Conference paper, Published paper (Refereed)
Abstract [en]

In every avionics system, Commercial off-the-shelf (COTS) components play an important role by enabling more complex functions. Even in safety-critical systems, COTS hardware components are ubiquitous nowadays. Since the avionics manufacturer do not develop the COTS components themselves, traditional avionics Development Assurance (DA) methods cannot be used. Instead other assurance strategies are used. The problem is that the complexity of the COTS components continuously increase and that several different types COTS components exist, each requiring different assurance strategies. This article includes a literature review over Certification Authority (CA) materials and research reports over COTS hardware components certification related documents since the early 1990s. We then contribute by an approach that can structure this material to provide an overview on COTS assurance methods or activities through an assurance case. The early results show that assurance cases are a possible way to argument COTS assurance and that these cases reveal interconnections between the assurance methods and as such contribute to the overall goal of increased confidence in using COTS components.

Keywords
Airborne Electronic Hardware, COTS, Assurance Case, Avionics, Certification, DO-254, COTS Assurance, Development Assurance, Overarching Properties.
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-41714 (URN)10.1109/DASC.2018.8569774 (DOI)000455217900123 ()2-s2.0-85060654182 (Scopus ID)978-1-5386-4112-5 (ISBN)
Conference
37th Digital Avionics Systems Conference DASC'37, 23 Sep 2018, London, United Kingdom
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2018-12-20 Created: 2018-12-20 Last updated: 2019-03-29Bibliographically 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

Search in DiVA

Show all publications