mdh.sePublikasjoner
Endre søk
Link to record
Permanent link

Direct link
BETA
Publikasjoner (8 av 8) Visa alla publikasjoner
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.
Åpne denne publikasjonen i ny fane eller vindu >>An Actor-based Design Platform for System of Systems
Vise andre…
2019 (engelsk)Inngår i: COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 2019Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

Emneord
System-of-systems, Actor model, Track-basedflow management, Model checking, Performance evaluation
HSV kategori
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)
Konferanse
COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 15 Jul 2019, Milwaukee, Wisconsin, United States
Prosjekter
ITS-EASY Post Graduate School for Embedded Software and Systems
Tilgjengelig fra: 2019-09-05 Laget: 2019-09-05 Sist oppdatert: 2019-10-11bibliografisk kontrollert
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.
Åpne denne publikasjonen i ny fane eller vindu >>The Role of Functional Safety Engineer in Railway, Automotive and Machinery Industry
2019 (engelsk)Inngår i: 2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering QR2MSE 2019, 2019Konferansepaper, Publicerat paper (Fagfellevurdert)
HSV kategori
Identifikatorer
urn:nbn:se:mdh:diva-45063 (URN)
Konferanse
2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering QR2MSE 2019, 06 Aug 2019, Zhangjiajie, Hunan, China
Prosjekter
ITS-EASY Post Graduate School for Embedded Software and Systems
Tilgjengelig fra: 2019-08-22 Laget: 2019-08-22 Sist oppdatert: 2019-10-01bibliografisk kontrollert
Baumgart, S. (2016). Incorporating Functional Safety in Model-based Development of Product Lines. (Licentiate dissertation). Västerås: Mälardalen University
Åpne denne publikasjonen i ny fane eller vindu >>Incorporating Functional Safety in Model-based Development of Product Lines
2016 (engelsk)Licentiatavhandling, med artikler (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University, 2016
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 227
HSV kategori
Forskningsprogram
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 (svensk)
Opponent
Veileder
Tilgjengelig fra: 2016-03-04 Laget: 2016-02-24 Sist oppdatert: 2016-03-31bibliografisk kontrollert
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).
Åpne denne publikasjonen i ny fane eller vindu >>Enhancing Model-Based Engineering of Product Lines by Adding Functional Safety
2015 (engelsk)Inngår i: CEUR Workshop Proceedings, vol. 1487, 2015, s. 53-62Konferansepaper, Publicerat paper (Fagfellevurdert)
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
Emneord
Product Line Engineering, Functional Safety, Model-based, Systems Engineering, ISO 26262
HSV kategori
Identifikatorer
urn:nbn:se:mdh:diva-30443 (URN)2-s2.0-84955292376 (Scopus ID)
Konferanse
International Workshop on Modelling in Automotive Software Engineering MASE'15, 27 Sep 2015, Ottawa, Canada
Prosjekter
ITS-EASY Post Graduate School for Embedded Software and SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Tilgjengelig fra: 2015-12-21 Laget: 2015-12-21 Sist oppdatert: 2016-03-04bibliografisk kontrollert
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).
Åpne denne publikasjonen i ny fane eller vindu >>Graphical Approach for Modeling of Safety and Variability in Product Lines
2015 (engelsk)Inngår i: 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA15, 2015, s. 410-417Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

Emneord
Product Line Engineering, Functional Safety, VariabilityManagement, Model-based Development
HSV kategori
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)
Konferanse
41st Euromicro Conference on Software Engineering and Advanced Applications SEAA15, 26-28 Aug 2015, Funchal, Portugal
Prosjekter
ITS-EASY Post Graduate School for Embedded Software and SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Tilgjengelig fra: 2015-12-21 Laget: 2015-12-21 Sist oppdatert: 2017-11-01bibliografisk kontrollert
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.
Åpne denne publikasjonen i ny fane eller vindu >>Predicting the Effort for Functional Safety in Product Lines
2015 (engelsk)Inngår i: The 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA'15, 2015Konferansepaper, Publicerat paper (Fagfellevurdert)
HSV kategori
Identifikatorer
urn:nbn:se:mdh:diva-30025 (URN)
Konferanse
The 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA'15, 26-28 Aug 2015, Funchal, Madeira, Portugal
Prosjekter
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Tilgjengelig fra: 2015-12-19 Laget: 2015-12-18 Sist oppdatert: 2018-01-03bibliografisk kontrollert
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).
Åpne denne publikasjonen i ny fane eller vindu >>Industrial Challenges to Achieve Functional Safety Compliance in Product Lines
2014 (engelsk)Inngår i: 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, s. 356-360Konferansepaper, Publicerat paper (Fagfellevurdert)
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
Emneord
Functional Safety, Software Product Line Engineering, Qualitative Study, Safety-Critical Software
HSV kategori
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)
Konferanse
40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), AUG 27-29, 2014, Verona, ITALY
Tilgjengelig fra: 2015-08-21 Laget: 2015-08-21 Sist oppdatert: 2016-03-04bibliografisk kontrollert
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).
Åpne denne publikasjonen i ny fane eller vindu >>Towards Efficient Functional Safety Certification of Construction Machinery using a Component-based Approach
2012 (engelsk)Inngår i: 2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012 - Proceedings, 2012, s. 1-4Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

HSV kategori
Identifikatorer
urn:nbn:se:mdh:diva-17245 (URN)10.1109/PLEASE.2012.6229763 (DOI)2-s2.0-84864528199 (Scopus ID)978-146731751-1 (ISBN)
Konferanse
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
Tilgjengelig fra: 2012-12-20 Laget: 2012-12-20 Sist oppdatert: 2016-03-04bibliografisk kontrollert
Organisasjoner
Identifikatorer
ORCID-id: ORCID iD iconorcid.org/0000-0003-4756-7285