mdh.sePublikationer
Ändra sökning
Länk till posten
Permanent länk

Direktlänk
BETA
Publikationer (8 of 8) Visa alla publikationer
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.
Öppna denna publikation i ny flik eller fönster >>An Actor-based Design Platform for System of Systems
Visa övriga...
2019 (Engelska)Ingår i: COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 2019Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Nyckelord
System-of-systems, Actor model, Track-basedflow management, Model checking, Performance evaluation
Nationell ämneskategori
Teknik och teknologier Datorsystem
Identifikatorer
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)
Konferens
COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 15 Jul 2019, Milwaukee, Wisconsin, United States
Projekt
ITS-EASY Post Graduate School for Embedded Software and Systems
Tillgänglig från: 2019-09-05 Skapad: 2019-09-05 Senast uppdaterad: 2019-10-11Bibliografiskt granskad
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.
Öppna denna publikation i ny flik eller fönster >>The Role of Functional Safety Engineer in Railway, Automotive and Machinery Industry
2019 (Engelska)Ingår i: 2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering QR2MSE 2019, 2019Konferensbidrag, Publicerat paper (Refereegranskat)
Nationell ämneskategori
Teknik och teknologier Datorsystem
Identifikatorer
urn:nbn:se:mdh:diva-45063 (URN)
Konferens
2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering QR2MSE 2019, 06 Aug 2019, Zhangjiajie, Hunan, China
Projekt
ITS-EASY Post Graduate School for Embedded Software and Systems
Tillgänglig från: 2019-08-22 Skapad: 2019-08-22 Senast uppdaterad: 2019-10-01Bibliografiskt granskad
Baumgart, S. (2016). Incorporating Functional Safety in Model-based Development of Product Lines. (Licentiate dissertation). Västerås: Mälardalen University
Öppna denna publikation i ny flik eller fönster >>Incorporating Functional Safety in Model-based Development of Product Lines
2016 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalen University, 2016
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 227
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
datavetenskap
Identifikatorer
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 (Svenska)
Opponent
Handledare
Tillgänglig från: 2016-03-04 Skapad: 2016-02-24 Senast uppdaterad: 2016-03-31Bibliografiskt granskad
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).
Öppna denna publikation i ny flik eller fönster >>Enhancing Model-Based Engineering of Product Lines by Adding Functional Safety
2015 (Engelska)Ingår i: CEUR Workshop Proceedings, vol. 1487, 2015, s. 53-62Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Serie
CEUR Workshop Proceedings, ISSN 1613-0073 ; 1487
Nyckelord
Product Line Engineering, Functional Safety, Model-based, Systems Engineering, ISO 26262
Nationell ämneskategori
Datorsystem
Identifikatorer
urn:nbn:se:mdh:diva-30443 (URN)2-s2.0-84955292376 (Scopus ID)
Konferens
International Workshop on Modelling in Automotive Software Engineering MASE'15, 27 Sep 2015, Ottawa, Canada
Projekt
ITS-EASY Post Graduate School for Embedded Software and SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Tillgänglig från: 2015-12-21 Skapad: 2015-12-21 Senast uppdaterad: 2016-03-04Bibliografiskt granskad
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).
Öppna denna publikation i ny flik eller fönster >>Graphical Approach for Modeling of Safety and Variability in Product Lines
2015 (Engelska)Ingår i: 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA15, 2015, s. 410-417Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Nyckelord
Product Line Engineering, Functional Safety, VariabilityManagement, Model-based Development
Nationell ämneskategori
Datorsystem
Identifikatorer
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)
Konferens
41st Euromicro Conference on Software Engineering and Advanced Applications SEAA15, 26-28 Aug 2015, Funchal, Portugal
Projekt
ITS-EASY Post Graduate School for Embedded Software and SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Tillgänglig från: 2015-12-21 Skapad: 2015-12-21 Senast uppdaterad: 2017-11-01Bibliografiskt granskad
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.
Öppna denna publikation i ny flik eller fönster >>Predicting the Effort for Functional Safety in Product Lines
2015 (Engelska)Ingår i: The 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA'15, 2015Konferensbidrag, Publicerat paper (Refereegranskat)
Nationell ämneskategori
Datorsystem
Identifikatorer
urn:nbn:se:mdh:diva-30025 (URN)
Konferens
The 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA'15, 26-28 Aug 2015, Funchal, Madeira, Portugal
Projekt
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Tillgänglig från: 2015-12-19 Skapad: 2015-12-18 Senast uppdaterad: 2018-01-03Bibliografiskt granskad
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).
Öppna denna publikation i ny flik eller fönster >>Industrial Challenges to Achieve Functional Safety Compliance in Product Lines
2014 (Engelska)Ingår i: 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, s. 356-360Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Serie
EUROMICRO Conference Proceedings, ISSN 1089-6503
Nyckelord
Functional Safety, Software Product Line Engineering, Qualitative Study, Safety-Critical Software
Nationell ämneskategori
Produktionsteknik, arbetsvetenskap och ergonomi
Identifikatorer
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)
Konferens
40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), AUG 27-29, 2014, Verona, ITALY
Tillgänglig från: 2015-08-21 Skapad: 2015-08-21 Senast uppdaterad: 2016-03-04Bibliografiskt granskad
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).
Öppna denna publikation i ny flik eller fönster >>Towards Efficient Functional Safety Certification of Construction Machinery using a Component-based Approach
2012 (Engelska)Ingår i: 2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012 - Proceedings, 2012, s. 1-4Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Nationell ämneskategori
Teknik och teknologier
Identifikatorer
urn:nbn:se:mdh:diva-17245 (URN)10.1109/PLEASE.2012.6229763 (DOI)2-s2.0-84864528199 (Scopus ID)978-146731751-1 (ISBN)
Konferens
2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012; Zurich; 4 June 2012 through 4 June 2012
Forskningsfinansiär
XPRES - Initiative for excellence in production research
Tillgänglig från: 2012-12-20 Skapad: 2012-12-20 Senast uppdaterad: 2016-03-04Bibliografiskt granskad
Organisationer
Identifikatorer
ORCID-id: ORCID iD iconorcid.org/0000-0003-4756-7285

Sök vidare i DiVA

Visa alla publikationer