mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Publications (8 of 8) Show all publications
Sirjani, M., Forcina, G., Jafari, A., Baumgart, S., Khamespanah, E. & Sedaghatbaf, A. (2019). An Actor-based Design Platform for System of Systems. In: COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019: . Paper presented at COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 15 Jul 2019, Milwaukee, Wisconsin, United States.
Open this publication in new window or tab >>An Actor-based Design Platform for System of Systems
Show others...
2019 (English)In: COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 2019Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we present AdaptiveFlow as a platform for designing system of systems. A model-based development approach is proposed and tools are provided for formal verification and performance evaluation. The actor-based language, Timed Rebeca, is used for modelling, and the model checking tool Afra is used for checking the safety properties and also for performance evaluation. We investigate the efficiency of our approach and the applicability of the developed platform by conducting experiments on a case study based on the Electric Site Research Project of Volvo Construction Equipment. In this project, a fleet of autonomous haulers is utilised to transport materials in a quarry site. We used three adaptive policies as plugins to our platform and examined these policies in different scenarios.

Keywords
System-of-systems, Actor model, Track-basedflow management, Model checking, Performance evaluation
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-45141 (URN)10.1109/COMPSAC.2019.00089 (DOI)2-s2.0-85072692497 (Scopus ID)978-1-7281-2607-4 (ISBN)
Conference
COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 15 Jul 2019, Milwaukee, Wisconsin, United States
Projects
ITS-EASY Post Graduate School for Embedded Software and Systems
Available from: 2019-09-05 Created: 2019-09-05 Last updated: 2019-10-11Bibliographically approved
Chen, Y., Baumgart, S. & Kang, J. (2019). The Role of Functional Safety Engineer in Railway, Automotive and Machinery Industry. In: 2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering QR2MSE 2019: . Paper presented at 2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering QR2MSE 2019, 06 Aug 2019, Zhangjiajie, Hunan, China.
Open this publication in new window or tab >>The Role of Functional Safety Engineer in Railway, Automotive and Machinery Industry
2019 (English)In: 2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering QR2MSE 2019, 2019Conference paper, Published paper (Refereed)
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-45063 (URN)
Conference
2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering QR2MSE 2019, 06 Aug 2019, Zhangjiajie, Hunan, China
Projects
ITS-EASY Post Graduate School for Embedded Software and Systems
Available from: 2019-08-22 Created: 2019-08-22 Last updated: 2019-10-01Bibliographically approved
Baumgart, S. (2016). Incorporating Functional Safety in Model-based Development of Product Lines. (Licentiate dissertation). Västerås: Mälardalen University
Open this publication in new window or tab >>Incorporating Functional Safety in Model-based Development of Product Lines
2016 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Product lines in industry are often based on an engineer’s focus on fast and feasible product instantiation rather than a precise product line development method and process as described in literature. When considering functional safety, we need a precise model that includes evidence for the safety of each variant of the product.Functional safety standards provide guidance to develop safety critical products and require that evidence is collected to prove the safety of the product. But today’s functional safety standards do not provide guidance on how to achieve functional safety in product lines. At the same time arguments need to be collected during development so that each product configuration is safe and is fulfilling the requirements of the standards. Providing these arguments requires tracing safety-related requirements and dependencies through the development process taking the impact of variability in different development artifacts into consideration.

In this thesis, we study the challenges of developing safety critical products in product lines. We explore industrial practices to achieve functional safety standard compliance in product lines by interviewing practitioners from different companies and by collecting the reported challenges and practices. This information helps us to identify improvement areas and we derive requirements that a product line engineering method needs to fulfill. Based on these findings we analyze variability management methods from the software product line engineering research domain to identify potential candidate solutions that can be adapted to support safety critical products. We provide an approach for capturing functional safety related characteristics in a model-based product line engineering method. We apply our method in an industrial case demonstrating the applicability.

Abstract [sv]

Produktlinjer inom industrin är oftast baserade på ingenjörernas vilja att snabbt och enkelt utveckla nya varianter, snarare än på någon precis utvecklingsmodell för produktlinjer beskriven i litteraturen. För att visa på funktionssäkerhet krävs en precis modell som innehåller argumenten för att påvisa säkerheten hos alla varianter av produkten. Funktionssäkerhetsstandarder ger en vägledning för att utveckla säkerhetskritiska produkter och kräver att belägg samlas för att bevisa produktens säkerhet. Men dagens funktionssäkerhetsstandarder beskriver inte hur man uppnå funktionssäkerhet i produkt linjer. Argument behöver samlas under utveckling som bevisar att varje produktkonfiguration är säker och uppfyller kraven i standarden. Detta kräver i sin tur att spåra beroenden till säkerhetsrelaterade krav genom utvecklingsprocessen och visa hur de påverkas av variabilitet. I denna avhandling studerar vi utmaningarna med att utveckla säkerhetskritiska produkter i produktlinjer. Vi undersöker industrins metoder för att uppnå funktionssäkerhet genom att intervjua experter från olika företag och sammanställa utmaningar och praxis. Denna information hjälper oss att identifiera förbättringsområden och vi beskriver de krav som en tilltänkt produktlinjeteknik måste uppfylla. Baserat på dessa resultat vi analyserar varianthanteringsmetoder som beskrivs inom området produktlinjemetoder (eng: product line engineering), för att identifiera potentiella kandidatlösningar vilka kunde anpassas för att stödja säkerhetskritiska produkter. Vi presenterar en metod för att hantera funktionssäkerhetsrelaterade egenskaper i en modellbaserad metod för att hantera produktlinjer. Vi tillämpar vår metod i ett industriellt fall för att demonstrera tillämpligheten.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2016
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 227
National Category
Embedded Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-31131 (URN)978-91-7485-253-0 (ISBN)
Presentation
2016-04-22, Delta, Mälardalens högskola, Västerås, 13:15 (Swedish)
Opponent
Supervisors
Available from: 2016-03-04 Created: 2016-02-24 Last updated: 2016-03-31Bibliographically approved
Baumgart, S., Fröberg, J. & Punnekkat, S. (2015). Enhancing Model-Based Engineering of Product Lines by Adding Functional Safety. In: CEUR Workshop Proceedings, vol. 1487: . Paper presented at International Workshop on Modelling in Automotive Software Engineering MASE'15, 27 Sep 2015, Ottawa, Canada (pp. 53-62).
Open this publication in new window or tab >>Enhancing Model-Based Engineering of Product Lines by Adding Functional Safety
2015 (English)In: CEUR Workshop Proceedings, vol. 1487, 2015, p. 53-62Conference paper, Published paper (Refereed)
Abstract [en]

Today's industrial product lines in the automotive and construction equipment domain face the challenge to show functional safety standard compliance and argue for the absence of failures for all derived product variants. The product line approaches are not su cient to support practitioners to trace safety-related characteristics through development. We aim to provide aid in creating a safety case for a certain con guration in a product line such that overall less e ort is necessary for each con guration. In this paper we 1) discuss the impact of functional safety on product line development, 2) propose a model-based approach to capture safety-related characteristics during concept phase for product lines and 3) analyze the usefulness of our proposal.

Series
CEUR Workshop Proceedings, ISSN 1613-0073 ; 1487
Keywords
Product Line Engineering, Functional Safety, Model-based, Systems Engineering, ISO 26262
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-30443 (URN)2-s2.0-84955292376 (Scopus ID)
Conference
International Workshop on Modelling in Automotive Software Engineering MASE'15, 27 Sep 2015, Ottawa, Canada
Projects
ITS-EASY Post Graduate School for Embedded Software and SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Available from: 2015-12-21 Created: 2015-12-21 Last updated: 2016-03-04Bibliographically approved
Salikiryaki, A., Petrova, I. & Baumgart, S. (2015). Graphical Approach for Modeling of Safety and Variability in Product Lines. In: 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA15: . Paper presented at 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA15, 26-28 Aug 2015, Funchal, Portugal (pp. 410-417).
Open this publication in new window or tab >>Graphical Approach for Modeling of Safety and Variability in Product Lines
2015 (English)In: 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA15, 2015, p. 410-417Conference paper, Published paper (Refereed)
Abstract [en]

Reuse of already developed parts and concepts is a common approach in industry to reduce the time to market and reduce the development efforts. Industrial product lines are often grown over time and structured approaches to support decision-making and manage the complexity are lacking. When developing safety-critical products through product lines, evidence must be provided for all possible product configurations. The lack of a structured product line approach taking the functional safety dimension into consideration makes it challenging for practitioners to provide the required evidence. In this paper we (1) identify requirements that a variability management approach will need to fulfill, (2) discuss existing approaches and their limitations, (3) propose potential extension, (4) apply our approach in an industrial use case and (5) discuss its applicability and future work.

Keywords
Product Line Engineering, Functional Safety, VariabilityManagement, Model-based Development
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-30442 (URN)10.1109/SEAA.2015.74 (DOI)000380478300059 ()2-s2.0-84958258283 (Scopus ID)978-1-4673-7585-6 (ISBN)
Conference
41st Euromicro Conference on Software Engineering and Advanced Applications SEAA15, 26-28 Aug 2015, Funchal, Portugal
Projects
ITS-EASY Post Graduate School for Embedded Software and SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Available from: 2015-12-21 Created: 2015-12-21 Last updated: 2017-11-01Bibliographically approved
Baumgart, S. & Parmeza, D. (2015). Predicting the Effort for Functional Safety in Product Lines. In: The 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA'15: . Paper presented at The 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA'15, 26-28 Aug 2015, Funchal, Madeira, Portugal.
Open this publication in new window or tab >>Predicting the Effort for Functional Safety in Product Lines
2015 (English)In: The 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA'15, 2015Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-30025 (URN)
Conference
The 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA'15, 26-28 Aug 2015, Funchal, Madeira, Portugal
Projects
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Available from: 2015-12-19 Created: 2015-12-18 Last updated: 2018-01-03Bibliographically approved
Baumgart, S., Fröberg, J. & Punnekkat, S. (2014). Industrial Challenges to Achieve Functional Safety Compliance in Product Lines. In: 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014): . Paper presented at 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), AUG 27-29, 2014, Verona, ITALY (pp. 356-360).
Open this publication in new window or tab >>Industrial Challenges to Achieve Functional Safety Compliance in Product Lines
2014 (English)In: 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, p. 356-360Conference paper, Published paper (Refereed)
Abstract [en]

Developing safety critical products demands a clear safety argumentation for each product in spite of whether it has been derived from a product line or not. The functional safety standards do not explain how to develop safety critical products in product lines, and the product line concept is lacking specific approaches to develop safety critical products. Nonetheless, product lines are well-established concepts even in companies developing safety critical products. In this paper we present the results of an exploratory study interviewing 15 practitioners from 6 different companies. We identify typical challenges and approaches from industry and discuss their suitability. The challenges and approaches brought out by this study help us to identify and enhance applicable methods from the product line engineering domain that can meet the challenges in the safety critical domain as well.

Series
EUROMICRO Conference Proceedings, ISSN 1089-6503
Keywords
Functional Safety, Software Product Line Engineering, Qualitative Study, Safety-Critical Software
National Category
Production Engineering, Human Work Science and Ergonomics
Identifiers
urn:nbn:se:mdh:diva-28745 (URN)10.1109/SEAA.2014.81 (DOI)000358153200054 ()2-s2.0-84916607620 (Scopus ID)978-1-4799-5795-8 (ISBN)
Conference
40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), AUG 27-29, 2014, Verona, ITALY
Available from: 2015-08-21 Created: 2015-08-21 Last updated: 2016-03-04Bibliographically approved
Baumgart, S., Fröberg, J. & Punnekkat, S. (2012). Towards Efficient Functional Safety Certification of Construction Machinery using a Component-based Approach. In: 2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012 - Proceedings. Paper presented at 2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012; Zurich; 4 June 2012 through 4 June 2012 (pp. 1-4).
Open this publication in new window or tab >>Towards Efficient Functional Safety Certification of Construction Machinery using a Component-based Approach
2012 (English)In: 2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012 - Proceedings, 2012, p. 1-4Conference paper, Published paper (Refereed)
Abstract [en]

Electronic systems in the automotive domain implement safety critical functionality in vehicles and the safety certification process according to a functional safety standard is time consuming and a big part of the expenses of a development project. We describe the functional safety certification of electronic automotive systems by presenting a use case from the construction equipment industry. In this context, we highlight some of the major challenges we foresee, while using a product-line approach to achieve efficient functional safety certification of vehicle variants. We further elaborate on the impact of functional safety certification when applying the component-based approach on developing safety critical product variants and discuss the implications by cost modeling and analysis.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-17245 (URN)10.1109/PLEASE.2012.6229763 (DOI)2-s2.0-84864528199 (Scopus ID)978-146731751-1 (ISBN)
Conference
2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012; Zurich; 4 June 2012 through 4 June 2012
Funder
XPRES - Initiative for excellence in production research
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2016-03-04Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0003-4756-7285

Search in DiVA

Show all publications