Towards a Systems Engineering Based Automotive Product Engineering Process

Hage, Hassan; Hashemi, Vahid; Mantwill, Frank

doi:10.1007/978-3-030-59155-7_38

Cited by 3 publications

(7 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this paper we presented the new tool SMC4PEP to enable in the first phase an automated conversion of complex process models such as PEPs that are modelled according to the BPMN standard [7] into revised process models based on the modelling approach of [8]. This conversion paves the way for consistency and traceability of complex PEPs by removing redundant processes and enabling an exchange between different levels of process abstraction.…”

Section: Discussionmentioning

confidence: 99%

“…SMC4PEP requires a business process model as input with no limitation of abstraction levels. Process models can be designed either according to the guidelines in [7] or [8] with different modelling tools such as Enterprise Architect [4]. Each process model needs to be exported as an XML document for the readability of SMC4PEP.…”

Section: Smc4pep Architecture and Workflowmentioning

confidence: 99%

“…According to [7] message passing between processes is performed by message flows from tasks to task of the associated sub-processes, while each sub-process obtains its own boundary called pool. In the eBPMN approach message flows and pools are eliminated [8] and each sub-process obtains its own diagram. Then the process is enriched by events to enable message passing between each process.…”

Section: Smc4pep Architecture and Workflowmentioning

confidence: 99%

“…Followed by the next step, the Generator of SMC4PEP generates for each MDP model a PRISM module list which are then combined to one main PRISM module list. Finally, in case of an available timeline [8] in the process model, the PRISM module list is enriched by the values of the timeline to consider time aspects and process execution costs as rewards in the MDP model described in the PRISM syntax.…”

Section: Smc4pep Architecture and Workflowmentioning

confidence: 99%

“…pBPMNs provide different users with their internal process workflows in a graphical notation and show the communication and dependency between different organization within the PEP. With the aim of facing the above mentioned challenges, the previous work in [8] shows the need for a revision of the BPMN language which is called event-based BPMN (eBPMN) in this paper. The processes, which are modelled according to the BPMN guidelines, are enriched with events and time symbols while message-flows of all processes are removed.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

SMC4PEP: Stochastic Model Checking of Product Engineering Processes

Hage¹,

Seferis²,

Hashemi³

et al. 2022

Preprint

Self Cite

View full text Add to dashboard Cite

Product Engineering Processes (PEPs) are used for describing complex product developments in big enterprises such as automotive and avionics industries. The Business Process Model Notation (BPMN) is a widely used language to encode interactions among several participants in such PEPs. In this paper, we present SMC4PEP as a tool to convert graphical representations of a business process using the BPMN standard to an equivalent discrete-time stochastic control process called Markov Decision Process (MDP). To this aim, we first follow the approach described in an earlier investigation to generate a semantically equivalent business process which is more capable of handling the PEP complexity. In particular, the interaction between different levels of abstraction is realized by events rather than direct message flows. Afterwards, SMC4PEP converts the generated process to an MDP model described by the syntax of the probabilistic model checking tool PRISM. As such, SMC4PEP provides a framework for automatic verification and validation of business processes in particular with respect to requirements from legal standards such as Automotive SPICE. Moreover, our experimental results confirm a faster verification routine due to smaller MDP models generated from the alternative event-based BPMN models.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Smc4pep Architecture and Workflowmentioning

confidence: 99%

Section: Smc4pep Architecture and Workflowmentioning

confidence: 99%

Section: Smc4pep Architecture and Workflowmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

SMC4PEP: Stochastic Model Checking of Product Engineering Processes

Hage¹,

Seferis²,

Hashemi³

et al. 2022

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

SMC4PEP: Stochastic Model Checking of Product Engineering Processes

Hage

Seferis

Hashemi

et al. 2022

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Product Engineering Processes (PEPs) are used for describing complex product developments in big enterprises such as automotive and avionics industries. The Business Process Model Notation (BPMN) is a widely used language to encode interactions among several participants in such PEPs. In this paper, we present SMC4PEPl as a tool to convert graphical representations of a business process using the BPMN standard to an equivalent discrete-time stochastic control process called Markov Decision Process (MDP). To this aim, we first follow the approach described in an earlier investigation to generate a semantically equivalent business process which is more capable of handling the PEP complexity. In particular, the interaction between different levels of abstraction is realized by events rather than direct message flows. Afterwards, SMC4PEPl converts the generated process to an MDP model described by the syntax of the probabilistic model checking tool PRISM. As such, SMC4PEPl provides a framework for automatic verification and validation of business processes in particular with respect to requirements from legal standards such as Automotive SPICE. Moreover, our experimental results confirm a faster verification routine due to smaller MDP models generated from the alternative event-based BPMN models.

show abstract

Understanding and acceptance of systems engineering in automotive product development

Kolossváry

Feszty

Filep

et al. 2023

Decis. Mak. Appl. Manag. Eng.

View full text Add to dashboard Cite

Systems Engineering (SE) is a new engineering method for many firms in Automotive Product Development that expectedly advances their development processes to meet their stakeholder needs more effectively. Literature suggest that understanding and acceptance are key factors in the implementation, however comprehensive modes for their increase are barely discussed. In this paper, we propose a Participatory Action Research based on multiple research elements to find an effective technique for gaining understanding and acceptance on SE in a validated model environment of automotive industry called Formula SAE. We present practical outcomes at each steps of the implementation process and analyze the effect of improvements in the context of strategy, structure processes.

show abstract

Towards a Systems Engineering Based Automotive Product Engineering Process

Cited by 3 publications

References 6 publications

SMC4PEP: Stochastic Model Checking of Product Engineering Processes

SMC4PEP: Stochastic Model Checking of Product Engineering Processes

SMC4PEP: Stochastic Model Checking of Product Engineering Processes

Understanding and acceptance of systems engineering in automotive product development

Contact Info

Product

Resources

About