mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Publications (10 of 21) Show all publications
Bucaioni, A. (2019). A-CPS: Automation in high-performance cyber physical systems development. In: CEUR Workshop Proceedings, vol. 2405: . Paper presented at Software Technologies: Applications and Foundations, STAF 2019 - Co-located Joint Events: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop, 15 July 2019 through 19 July 2019 (pp. 15-20). CEUR-WS
Open this publication in new window or tab >>A-CPS: Automation in high-performance cyber physical systems development
2019 (English)In: CEUR Workshop Proceedings, vol. 2405, CEUR-WS , 2019, p. 15-20Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we describe the Automation in High-performance Cyber Physical Systems Development research project. Its main goal is to contribute to the advancement of the state of the art in the model-based development of heterogeneous vehicular systems. In particular, the project aims at providing a model-based framework for the automatic assessment of timeliness of vehicular systems by means of model-based simulation, timing analysis and their interplay. Additional information on the project can be found through its official website: http://www.es.mdh.se/projects/520-Automation_in_High_performance_Cyber_Physical_Systems_Development Copyright © 2019 for this paper by its authors.

Place, publisher, year, edition, pages
CEUR-WS, 2019
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-44971 (URN)2-s2.0-85069670624 (Scopus ID)
Conference
Software Technologies: Applications and Foundations, STAF 2019 - Co-located Joint Events: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop, 15 July 2019 through 19 July 2019
Available from: 2019-08-08 Created: 2019-08-08 Last updated: 2019-08-08Bibliographically approved
Bucaioni, A., Cicchetti, A., Ciccozzi, F., Kodali, M. & Sjödin, M. (2018). Alignment of Requirements and Testing in Agile: An Industrial Experience. Advances in Intelligent Systems and Computing, 738, 225-232
Open this publication in new window or tab >>Alignment of Requirements and Testing in Agile: An Industrial Experience
Show others...
2018 (English)In: Advances in Intelligent Systems and Computing, ISSN 2194-5357, E-ISSN 2194-5365, Vol. 738, p. 225-232Article in journal (Refereed) Published
Abstract [en]

Agile development aims at switching the focus from processes to interactions between stakeholders, from heavy to minimalistic documentation, from contract negotiation and detailed plans to customer collaboration and prompt reaction to changes. With these premises, requirements traceability may appear to be an overly exigent activity, with little or no return-of-investment. However, since testing remains crucial even when going agile, the developers need to identify at a glance what to test and how to test it. That is why, even though requirements traceability has historically faced a firm resistance from the agile community, it can provide several benefits when promoting precise alignment of requirements with testing. This paper reports on our experience in promoting traceability of requirements and testing in the data communications for mission-critical systems in an industrial Scrum project. We define a semi-automated requirements tracing mechanism which coordinates four traceability techniques. We evaluate the solution by applying it to an industrial project aiming at enhancing the existing Virtual Router Redundancy Protocol by adding Simple Network Management Protocol support. 

Place, publisher, year, edition, pages
Springer Verlag, 2018
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-39196 (URN)10.1007/978-3-319-77028-4_33 (DOI)2-s2.0-85045853502 (Scopus ID)
Available from: 2018-05-11 Created: 2018-05-11 Last updated: 2018-05-11Bibliographically approved
Bucaioni, A., Addazi, L., Cicchetti, A., Ciccozzi, F., Eramo, R., Mubeen, S. & Nolin, M. (2018). MoVES: a Model-driven methodology for Vehicular Embedded Systems. IEEE Access, 6424-6445
Open this publication in new window or tab >>MoVES: a Model-driven methodology for Vehicular Embedded Systems
Show others...
2018 (English)In: IEEE Access, E-ISSN 2169-3536, p. 6424-6445Article in journal (Refereed) Published
Abstract [en]

This paper introduces a novel model-driven methodology for the software development of real-time distributed vehicular embedded systems on single- and multi-core platforms. The proposed methodology discloses the opportunity of improving the cost-efficiency of the development process by providing automated support to identify viable design solutions with respect to selected non-functional requirements. To this end, it leverages the interplay of modelling languages for the vehicular domain whose integration is achieved by a suite of model transformations. An instantiation of the methodology is discussed for timing requirements, which are among the most critical ones for vehicular systems. To support the design of temporally correct systems, a cooperation between EAST-ADL and the Rubus Component Model is opportunely built-up by means of model transformations, enabling timing-aware design and model-based timing analysis of the system. The applicability of the methodology is demonstrated as proof of concepts on industrial use cases performed in cooperation with our industrial partners.

National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-38626 (URN)10.1109/ACCESS.2018.2789400 (DOI)000427230900001 ()2-s2.0-85041228300 (Scopus ID)
Projects
SynthSoft - Synthesizing Predictable Software for Distributed Embedded SystemsPreView: Developing Predictable Vehicle Software on Multi-coreMOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications
Available from: 2018-03-06 Created: 2018-03-06 Last updated: 2018-11-05Bibliographically approved
Bucaioni, A., Mubeen, S., Ciccozzi, F., Cicchetti, A. & Sjödin, M. (2017). A Metamodel for the Rubus Component Model: Extensions for Timing and Model Transformation from EAST-ADL. IEEE Access, 9005-9020
Open this publication in new window or tab >>A Metamodel for the Rubus Component Model: Extensions for Timing and Model Transformation from EAST-ADL
Show others...
2017 (English)In: IEEE Access, E-ISSN 2169-3536, ISSN 2169-3536, p. 9005-9020Article in journal (Refereed) Published
Abstract [en]

According to the Model-Driven Engineering paradigm, one of the entry requirements when realising a seamless tool chain for the development of software is the definition of metamodels, to regulate the specification of models, and model transformations, for automating manipulations of models. In this context, we present a metamodel definition for the Rubus Component Model, an industrial solution used for the development of vehicular embedded systems. The metamodel includes the definition of structural elements as well as elements for describing timing information. In order to show how, using Model-Driven Engineering, the integration between different modelling levels can be automated, we present a model-to-model transformation between models conforming to EAST-ADL and models described by means of the Rubus Component Model. To validate our solution, we exploit a set of industrial automotive applications to show the applicability of both the Rubus Component Model metamodel and the model transformation.

National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-29564 (URN)10.1109/ACCESS.2016.2641218 (DOI)000404270600034 ()2-s2.0-85025171666 (Scopus ID)
Available from: 2015-11-18 Created: 2015-11-18 Last updated: 2019-06-26Bibliographically approved
Bucaioni, A. (2017). A Model-based Approach for Vehicular Systems. Västerås: Mälardalen University, MRTC
Open this publication in new window or tab >>A Model-based Approach for Vehicular Systems
2017 (English)Report (Other academic)
Abstract [en]

This paper introduces a novel model-based approach for the software development of vehicular embedded systems. The proposed approach discloses the opportunity of improving efficiency of the development process by providing support to identify viable design solutions with respect to selected non functional requirements. To this end, it leverages the interplay of two modelling languages for the vehicular domain whose integration is achieved by a suite of model transformations. An instantiation of the methodology is discussed for timing requirements, which are among the most critical ones for the development of vehicular systems. The applicability of the methodology is demonstrated as proof of concepts on industrial use cases performed in cooperation with our industrial partners.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, MRTC, 2017
Series
MRTC Report ; MDH-MRTC-321/2017-1-SE
Keywords
Model-driven development;vehicular embedded systems;EAST-ADL;component model;model transformations.
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37364 (URN)
Available from: 2017-11-30 Created: 2017-11-30 Last updated: 2018-12-14Bibliographically approved
Bucaioni, A. (2017). A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems. (Doctoral dissertation). Västerås: Mälardalen University
Open this publication in new window or tab >>A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems
2017 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

Considering the ubiquitousness of software in modern vehicles, its increased value and development cost, an efficient software development became of paramount importance for the vehicular domain. It has been identified that early verification of non functional properties of  vehicular embedded software such as, timing, reliability and safety, is crucial to efficiency. However, early verification of non functional properties is hard to achieve with traditional software development approaches due to the abstraction and the lack of automation of these methodologies.

 

This doctoral thesis aims at improving efficiency in vehicular embedded software development by minimising the need for late, expensive and time consuming software modifications with early design changes, identified through timing verification, which usually are cheaper and faster. To this end, we introduce a novel model-driven approach which exploits the interplay of two automotive-specific modelling languages for the representation of functional and execution models and defines a suite of model transformations for their automatic integration.

 

Starting from a functional model (expressed by means of EAST-ADL), all the execution models (expressed by means of the Rubus Component Model) entailing unique timing configurations are derived. Schedulability analysis selects the set of the feasible execution models with respect to specified timing requirements. Eventually, a reference to the selected execution models along with their analysis results is automatically created in the related functional model to allow the engineer to investigate them.

 

The main scientific contributions of this doctoral thesis are i) a metamodel definition for the Rubus Component Model, ii) an automatic mechanism for the generation of Rubus models from EAST-ADL, iii) an automatic mechanism for the selection and back-propagation of the analysis results and related Rubus models to design level and iv) a compact notation for visualising the selected Rubus models by means of a single execution model.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2017
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 250
National Category
Embedded Systems Software Engineering Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-37361 (URN)978-91-7485-366-7 (ISBN)
Public defence
2018-01-12, Gamma, Mälardalens högskola, Västerås, 10:15 (English)
Opponent
Supervisors
Available from: 2017-11-30 Created: 2017-11-29 Last updated: 2018-01-13Bibliographically approved
Bucaioni, A., Mubeen, S., Nolin, M., Lundbäck, J., Gålnander, M. & Lundbäck, K.-L. (2017). Demonstrating Model- and Component-based Development of Vehicular Real-time Systems. In: Open Demo Session of Real-Time Systems located at Real Time Systems Symposium (RTSS) RTSS@Work'17: . Paper presented at Open Demo Session of Real-Time Systems located at Real Time Systems Symposium (RTSS) RTSS@Work'17, 05 Dec 2017, Paris, France.
Open this publication in new window or tab >>Demonstrating Model- and Component-based Development of Vehicular Real-time Systems
Show others...
2017 (English)In: Open Demo Session of Real-Time Systems located at Real Time Systems Symposium (RTSS) RTSS@Work'17, 2017Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37486 (URN)
Conference
Open Demo Session of Real-Time Systems located at Real Time Systems Symposium (RTSS) RTSS@Work'17, 05 Dec 2017, Paris, France
Projects
PreView: Developing Predictable Vehicle Software on Multi-core
Available from: 2017-12-20 Created: 2017-12-20 Last updated: 2017-12-20Bibliographically approved
Mubeen, S. & Bucaioni, A. (2017). Modeling of Vehicular Distributed Embedded Systems: Transition from Single-core to Multi-core. In: 14th International Conference on Information Technology : New Generations ITNG'17: . Paper presented at 14th International Conference on Information Technology : New Generations ITNG'17, 09 Apr 2017, Las Vegas, United States (pp. 607-611). Las Vegas, United States: Springer
Open this publication in new window or tab >>Modeling of Vehicular Distributed Embedded Systems: Transition from Single-core to Multi-core
2017 (English)In: 14th International Conference on Information Technology : New Generations ITNG'17, Las Vegas, United States: Springer , 2017, p. 607-611Conference paper, Published paper (Refereed)
Abstract [en]

Model- and component-based software development has emerged as an attractive option for the development of vehicle software on single-core platforms. There are many challenges that are encountered when the existing component models, that are originally designed for the software development of vehicular distributed single-core embedded systems, are extended for the software development on multi-core platforms. This paper targets the challenge of extending the structural hierarchies in the existing component models to enable the software development on multi-core platforms. The proposed extensions ensure backward compatibility of the component models to support the software development of legacy single-core systems. Moreover, the proposed extensions also anticipate forward compatibility of the component models to the future many-core platforms.

Place, publisher, year, edition, pages
Las Vegas, United States: Springer, 2017
Series
Advances in Intelligent Systems and Computing ; 558
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-36993 (URN)10.1007/978-3-319-54978-1_76 (DOI)2-s2.0-85048311551 (Scopus ID)978-3-319-54977-4 (ISBN)
Conference
14th International Conference on Information Technology : New Generations ITNG'17, 09 Apr 2017, Las Vegas, United States
Projects
SynthSoft - Synthesizing Predictable Software for Distributed Embedded SystemsDPAC - Dependable Platforms for Autonomous systems and ControlPreView: Developing Predictable Vehicle Software on Multi-core
Available from: 2017-11-27 Created: 2017-11-27 Last updated: 2018-06-21Bibliographically approved
Bucaioni, A., Mubeen, S., Ciccozzi, F., Cicchetti, A. & Sjödin, M. (2017). Technology-preserving transition from single-core to multi-core in modelling vehicular systems. In: Lecture Notes in Computer Science, vol. 10376: . Paper presented at 19 July 2017 through 20 July 2017 (pp. 285-299). Paper presented at 19 July 2017 through 20 July 2017. Springer Verlag
Open this publication in new window or tab >>Technology-preserving transition from single-core to multi-core in modelling vehicular systems
Show others...
2017 (English)In: Lecture Notes in Computer Science, vol. 10376, Springer Verlag , 2017, p. 285-299Chapter in book (Refereed)
Abstract [en]

The vehicular industry has exploited model-based engineering for design, analysis, and development of single-core vehicular systems. Next generation of autonomous vehicles will require higher computational power, which can only be provided by parallel computing platforms such as multi-core electronic control units. Current model-based software development solutions and related modelling languages, originally conceived for single-core, cannot effectively deal with multi-core specific challenges, such as core-interdependency and allocation of software to hardware. In this paper, we propose an extension to the Rubus Component Model, central to the Rubus model-based approach, for the modelling, analysis, and development of vehicular systems on multi-core. Our goal is to provide a lightweight transition of a model-based software development approach from single-core to multi-core, without disrupting the current technological assets in the vehicular domain.

Place, publisher, year, edition, pages
Springer Verlag, 2017
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10376 LNCS
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-36203 (URN)10.1007/978-3-319-61482-3_17 (DOI)000434211900017 ()2-s2.0-85025117384 (Scopus ID)9783319614816 (ISBN)
Conference
19 July 2017 through 20 July 2017
Available from: 2017-08-10 Created: 2017-08-10 Last updated: 2018-06-21Bibliographically approved
Bucaioni, A., Cicchetti, A., Ciccozzi, F., Mubeen, S., Pierantonio, A. & Sjödin, M. (2016). Towards Design-Space Exploration of Component Chains in Vehicle Software. In: 42nd Euromicro Conference series on Software Engineering and Advanced Applications, Work In Progress (WiP) SEAA 2016 WiP: . Paper presented at 42nd Euromicro Conference series on Software Engineering and Advanced Applications, Work In Progress (WiP) SEAA 2016 WiP, 31 Aug- 2 Sep, 2016, Limassol, Cyprus, Greece.
Open this publication in new window or tab >>Towards Design-Space Exploration of Component Chains in Vehicle Software
Show others...
2016 (English)In: 42nd Euromicro Conference series on Software Engineering and Advanced Applications, Work In Progress (WiP) SEAA 2016 WiP, 2016Conference paper, Published paper (Refereed)
Abstract [en]

The size, complexity and heterogeneity of vehicular software systems has been constantly increasing. As a result, there is a growing consensus on the need to leverage modelbased techniques for automating, thus taming, error-proneness of tedious engineering tasks. Our methodology employs a one-tomany model transformation for generating a set of implementation models from a single design model. Then, it evaluates the appropriateness of each generated model by means of modelbased timing analysis. In this ongoing work, we discuss an enhancement of our methodology where model-based timing analysis is extended for running on a single model with uncertainty.

National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-32875 (URN)
External cooperation:
Conference
42nd Euromicro Conference series on Software Engineering and Advanced Applications, Work In Progress (WiP) SEAA 2016 WiP, 31 Aug- 2 Sep, 2016, Limassol, Cyprus, Greece
Projects
SynthSoft - Synthesizing Predictable Software for Distributed Embedded Systems
Available from: 2016-08-31 Created: 2016-08-24 Last updated: 2016-08-31Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-8027-0611

Search in DiVA

Show all publications