mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Forsberg, Håkan
Publications (6 of 6) Show all publications
Forsberg, H., Schwierz, A. & Lundqvist, K. (2019). Assurance Strategy for New Computing Platforms in Safety-Critical Avionics. In: Aerospace Technology Congress 2019 FT2019: . Paper presented at Aerospace Technology Congress 2019 FT2019, 08 Oct 2019, Stockholm, Sweden (pp. 137-144). Stockholm, Sweden
Open this publication in new window or tab >>Assurance Strategy for New Computing Platforms in Safety-Critical Avionics
2019 (English)In: Aerospace Technology Congress 2019 FT2019, Stockholm, Sweden, 2019, p. 137-144Conference paper, Published paper (Refereed)
Abstract [en]

An assurance strategy for new computing platforms in safety-critical avionics has to be flexible and take into account different types of commercial-of-the-shelf (COTS) hardware technologies. Completely new COTS technologies are already being introduced and successfully used in other domains. Good examples are heterogeneous platforms, hardware-based machine learning and approximate computing. Current avionics certification guidance material cannot cope with next generation of devices. We suggest using the generic assurance approach of the Overarching Properties (OPs) together with assurance cases to argument that COTS assurance objectives are met and to achieve the flexibility required for future computing platforms. We introduce a novel assurance cased-based OP approach in [1] and refine the work into a framework in [2]. Within this framework we are able to integrate COTS technology specific assurance objectives using a five-step process. In this paper, we show through some representative examples of emerging computing platforms that our strategy is a way forward for new platforms in safety-critical avionics.

Place, publisher, year, edition, pages
Stockholm, Sweden: , 2019
Keywords
safety-critical avionics, assurance strategy, assurance case, COTS assurance, Overarching Properties, computing platforms
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-45942 (URN)10.3384/ecp19162015 (DOI)978-91-7519-006-8 (ISBN)
Conference
Aerospace Technology Congress 2019 FT2019, 08 Oct 2019, Stockholm, Sweden
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2019-11-18 Created: 2019-11-18 Last updated: 2019-11-18Bibliographically approved
Forsberg, H., Lundqvist, K. & Forsberg, K. (2019). Methods for Enhancement of a Master of Engineering Programme. In: : . Paper presented at 7:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, Luleå tekniska universitet, 27 november – 28 november 2019.
Open this publication in new window or tab >>Methods for Enhancement of a Master of Engineering Programme
2019 (English)Conference paper, Published paper (Refereed)
Abstract [en]

This paper describes methods we used to improve our Master of Engineering programme in Dependable Aerospace Systems together with the industry. The target audience is mainly programme coordinators/managers who are in the process to develop their programmes for future demands. The two main questions we address are: Q1 – How do we ensure a good progression within a programme to ensure the industry’s current and future needs in engineering skills? and Q2 – How do we ensure students become acquainted with research during their studies? The results indicate that our suggested method to analyse programme progression through subject abilities supports developer of engineering programmes and that our approach to undergraduate research opportunities is a way forward to introduce students to research early.

Keywords
Engineering education, engineering methods, undergraduate research opportunities, unified engineering
National Category
Engineering and Technology Educational Sciences
Identifiers
urn:nbn:se:mdh:diva-46276 (URN)
Conference
7:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, Luleå tekniska universitet, 27 november – 28 november 2019
Projects
AVANS - civilingenjörsprogrammet i tillförlitliga flyg- och rymdsystem
Available from: 2019-12-10 Created: 2019-12-10 Last updated: 2019-12-10Bibliographically approved
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 ()2-s2.0-85068371940 (Scopus ID)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-10-11Bibliographically 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