mdh.sePublications
Change search
Refine search result
12 1 - 50 of 60
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the 'Create feeds' function.
  • 1.
    Addazi, Lorenzo
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Langer, Philip
    EclipsSource, Austria.
    Posse, Ernesto
    Zeligsoft, Canada.
    Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles2017In: Lecture Notes in Computer Science, vol. 10376, Springer, 2017, 20-33 p.Chapter in book (Refereed)
    Abstract [en]

    Domain-specific modelling languages, in particular those described in terms of UML profiles, use graphical notations to maximise human understanding and facilitate communication among stakeholders. Nevertheless, textual notations are preferred for specific purposes, due to the nature of a specific domain, or for personal preference. The mutually exclusive use of graphical or textual modelling is not sufficient for the development of complex systems developed by large heterogeneous teams. We envision a modern modelling framework supporting seamless hybrid graphical and textual modelling. Such a framework would provide several benefits, among which: flexible separation of concerns, multi-view modelling based on multiple notations, convenient text-based editing operations, and text-based model editing outside the modelling environment, and faster modelling activities. In this paper we describe our work towards such a framework for UML and profiles. The uniqueness is that both graphical and textual modelling are done on a common persistent model resource, thus dramatically reducing the need for synchronisation among the two notations.

  • 2.
    Ahlberg, Carl
    et al.
    Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Asplund, Lars
    Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Campeanu, Gabriel
    Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ekstrand, Fredrik
    Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ekström, Mikael
    Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Feljan, Juraj
    Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gustavsson, Andreas
    Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sentilles, Séverine
    Mälardalen University, School of Innovation, Design and Engineering. Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Svogor, Ivan
    FOI, University of Zagreb.
    Segerblad, Emil
    The Black Pearl: An Autonomous Underwater Vehicle2013Report (Other academic)
    Abstract [en]

    The Black Pearl is a custom made autonomous underwater vehicle developed at Mälardalen University, Sweden. It is built in a modular fashion, including its mechanics, electronics and software. After a successful participation at the RoboSub competition in 2012 and winning the prize for best craftsmanship, this year we made minor improvements to the hardware, while the focus of the robot's evolution shifted to the software part. In this paper we give an overview of how the Black Pearl is built, both from the hardware and software point of view.

  • 3.
    Behnam, Moris
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Bruhn, Fredrik
    Bruhnspace AB, Uppsala, Sweden .
    Software architecture for next generation hyperparallel cyber-physical hardware platforms: challenges and opportunities2015In: ECSAW '15 Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015, Vol. Article No. 19Conference paper (Refereed)
    Abstract [en]

    We present what is destined to become the de-facto standard for hardware platforms for next generation cyber-physical systems. Heterogeneous System Architecture (HSA) is an initiative to harmonize the industry around a common architecture which is easier to program and is an open standard defining the key interfaces for parallel computation. Since HSA is supported by virtually all major players in the silicon market we can conjecture that HSA, with its capabilities and quirks, will highly influence both the hardware and software for next generation cyber-physical systems. In this paper we describe HSA and discuss how its nature will influence architectures of system software and application software. Specifically, we believe that the system software needs to both leverage the hyperparallel nature of HSA while providing predictable and efficient resource allocation to different parallel activities. The application software, on the other hand, should be isolated from the complexity of the hardware architecture but yet be able to efficiently use the full potential of the hyperparallel nature of HSA.

  • 4.
    Bosnic, Ivana
    et al.
    FER, University of Zagreb, Croatia.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cavrak, Igor
    FER, University of Zagreb, Croatia.
    Di Nitto, Elisabetta
    Politecnico di Milano, Italy.
    Feljan, Juraj
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mirandola, Raffaela
    Politecnico di Milano, Italy.
    Introducing SCRUM into a Distributed Software Development Course2015In: Workshop on Enhancing Software Engineering Education WESEE2015, Dubrovnik, Croatia, 2015Conference paper (Refereed)
    Abstract [en]

    The growing enactment of Global Software Engineering in industry has triggered educational institutions to perceive the importance of preparing students for distributed software development. During the last twelve years we have disclosed advantages and pitfalls of GSE to our students through our Distributed Software Development course. After running the projects according to the iterative process model for eleven years, we decided to shift to an agile development model, SCRUM. This decision was due to the growing industrial adoption of agile methods, but more importantly to increase proactiveness, sense of responsibility, and to balance the workload among the project team members. In this paper we describe the process and outcomes of our first attempt at introducing SCRUM in our distributed course.

  • 5.
    Bosnic, Ivana
    et al.
    University of Zagreb.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cavrak, Igor
    University of Zagreb.
    Orlic, Marin
    FER, University Zagreb, Croatia.
    Mirandola, Raffaela
    Politecnico di Milano.
    Multi-dimensional Assessment of Risks in a Distributed Software Development Course2013Conference paper (Refereed)
    Abstract [en]

    The organizational shift from local to global settings in many software development initiatives has triggered the need for entailing it when educating the future software engineers. Several educational institutions have embraced this need and started collaborating for the provision of global software engineering courses. The rather complex nature of such courses results in a wider range of risks, in comparison to standard software engineering courses, that arise in different dimensions, ranging from course- to result-related, and for different reasons. In this work we provide an assessment of such a variety of risks as well as their causes, and we give a hint on how they may affect each other based on our 10-year-long experience with a tightly integrated GSD course.

  • 6.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. 0000-0002-0401-1036.
    Eramo, Romina
    University of L'Aquila, Italy.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Michael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Anticipating Implementation-Level Timing Analysis for Driving Design-Level Decisions in EAST-ADL2015In: CEUR Workshop Proceedings, Vol. 1487, 2015, 63-72 p.Conference paper (Refereed)
    Abstract [en]

    The adoption of model-driven engineering in the automotive domain resulted in the standardization of a layered architectural description language, namely EAST-ADL, which provides means for enforcing abstraction and separation of concerns, but no support for automation among its abstraction levels. This support is particularly helpful when manual transitions among levels are tedious and error-prone. This is the case of design and implementation levels. Certain fundamental analyses (e.g., timing), which have a significant impact on design decisions, give precise results only if performed on implementation level models, which are currently created manually by the developer. Dealing with complex systems, this task becomes soon overwhelming leading to the creation of a subset of models based on the developers experience; relevant implementation level models may therefore be missed. In this work, we describe means for automation between EAST-ADL design and implementation levels to anticipate end-to-end delay analysis at design level for driving design decisions.

  • 7.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pierantonio, Alfonso
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards Design-Space Exploration of Component Chains in Vehicle Software2016In: 42nd Euromicro Conference series on Software Engineering and Advanced Applications, Work In Progress (WiP) SEAA 2016 WiP, 2016Conference 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.

  • 8.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Syst, Järfälla, Sweden.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pierantonio, Alfonso
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Univ Aquila, DISIM, Laquila, Italy.
    Handling Uncertainty in Automatically Generated Implementation Models in the Automotive Domain2016In: 42nd Euromicro Conference series on Software Engineering and Advanced Applications SEAA 2016, 2016, 173-180 p.Conference paper (Refereed)
    Abstract [en]

    Models and model transformations, the two core constituents of Model-Driven Engineering, aid in software development by automating, thus taming, error-proneness of tedious engineering activities. In most cases, the result of these automated activities is an overwhelming amount of information. This is the case of one-to-many model transformations that, e.g. in designspace exploration, can potentially generate a massive amount of candidate models (i.e., solution space) from one single model. In our scenario, from one design model we generate a set of possible implementation models on which timing analysis is run. The aim is to find the best model from a timing perspective. However, multiple implementation models can have equally good analysis results. Therefore, the engineer is expected to investigate the solution space for making a final decision, using criteria which fall outside the analysis’ criteria themselves. Since candidate models can be many and very similar to each other, manually finding differences and commonalities is an impractical and errorprone task. In order to provide the engineer with an expressive representation of models’ commonalities and differences, we propose the use of modelling with uncertainty. We achieve this by elevating the solution space to a first-class status, adopting a compact notation capable of representing the solution space by means of a single model with uncertainty. Commonalities and differences are thus represented by means of uncertainty points for the engineer to easily grasp them and consistently make her decision without manually inspecting each model individually.

  • 9.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A Metamodel for the Rubus Component Model: Extensions for Timing and Model Transformation from EAST-ADL2017In: IEEE Access, E-ISSN 2169-3536, 9005-9020 p.Article in journal (Other academic)
    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.

  • 10.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Comparative Evaluation of Timing Model Extraction Methodologies at EAST-ADL Design Level2015In: Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015, 2015, 1110-1115 p.Conference paper (Refereed)
    Abstract [en]

    There are various methodologies that support the extraction of timing models from EAST-ADL design-level models during the development of vehicular embedded software systems. These timing models are used to predict timing behavior of the systems by performing end-to-end timing analysis. This paper presents, for the first time, a comparative evaluation of three methodologies. We present an evaluation framework that consists of several evaluation features. Using the framework, we compare and evaluate the methodologies against each feature. Eventually, the evaluation results can be used as guidelines for the selection of the most suitable methodology with respect to the end-to-end timing behavior of a given vehicular embedded application.

  • 11.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Technology-preserving transition from single-core to multi-core in modelling vehicular systems2017In: Lecture Notes in Computer Science, vol. 10376, Springer Verlag , 2017, 285-299 p.Chapter 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.

  • 12.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards a Novel Model Versioning Approach based on the Separation between Linguistic and Ontological Aspects2013In: ME 2013 – Models and Evolution Workshop Proceedings, CEUR-WS , 2013, 60-69 p.Conference paper (Refereed)
    Abstract [en]

    With the increasing adoption of Model-Driven Engineering (MDE) the support of distributed development and hence model versioning has become a necessity. MDE research investigations targeting (meta-)model versioning, conflict management, and model co-evolution have progressively recognized the importance of tackling the problem at higher abstraction level and a number of solving techniques have been proposed. However, in general existing mechanisms hit the wall of semantics, i.e. when not only syntax is involved in the manipulations the chances for providing precision and automation are remarkably reduced. In this paper we illustrate a novel version management proposal that leverages on the separation between linguistic and ontological aspects involved in a (meta-)modelling activity. In particular, we revisit the main versioning tasks in terms of the mentioned separation. The aim is to maximize the amount of versioning problems that can be automatically addressed while leaving the ones intertwined with domain-specific semantics to be solved separately, possibly by means of semi-automatic techniques and additional precision.

  • 13.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Software Evolution Management: Industrial Practices2016In: ME 2016 Models and Evolution: Proceedings of the 10th Workshop on Models and Evolution, Saint Malo, France: CEUR-WS , 2016, 8-13 p.Conference paper (Refereed)
  • 14.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Krekola, Mikael
    Mazzini, Silvia
    Panunzio, Marco
    Puri, Stefano
    Santamaria, Carlo
    Vardanega, Tullio
    Zovi, Alessandro
    CHESS Tool presentation2011Conference paper (Refereed)
  • 15.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    A hybrid approach for multi-view modeling2011Conference paper (Refereed)
  • 16.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Orange Labs, Orange, France.
    A Solution for Concurrent Versioning of Metamodels and Models2012In: Journal of Object Technology (JOT), ISSN 1660-1769, Vol. 11, no 3, 1-32 p.Article in journal (Refereed)
    Abstract [en]

    Model-Driven Engineering has been widely recognised as a powerful paradigm for shifting the focus of software development from codingto modelling in order to cope with the rising complexity of modern systems. Models become the main artefacts in the development process and therefore undergo evolutions performed in different ways until the final implementation is produced. Moreover, modelling languages are expectedto evolve too and such evolutions have to be taken into account when dealing with model versioning. Since consistency between models and related metamodels is one of the pillars on which model-driven engineering relies, evolution of models and metamodels cannot be considered as independentevents in a model versioning system.This article exploits model comparison and merging mechanisms toprovide a solution to the issues related to model versioning when considering metamodel and model manipulations as concurrent and even misaligned. A scenario-based description of the challenges arising from versioning of models is given and a running example is exploited to demonstrate the proposed solutions.

  • 17.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Supporting incremental synchronization in hybrid multi-view modelling2012In: Lecture Notes in Computer Science, vol. 7167, Springer, 2012, 89-103 p.Chapter in book (Refereed)
    Abstract [en]

    Multi-view modelling is a widely accepted technique to reduce the complexity in the development of modern software systems. It allows developers to focus on a narrowed portion of the specification dealing with a selected aspect of the problem. However, multi-view modelling support discloses a number of issues mainly due to consistency management, expressiveness, and customization needs. A possible solution to alleviate those problems is to adopt a hybrid solution for multi-view modelling based on an arbitrary number of custom views defined on top of an underlying modelling language. In this way it is possible to benefit from the consistency by-construction granted by well-formed views while at the same time providing malleable perspectives through which the system under development can be specified. In this respect, this paper presents an approach for supporting synchronization mechanism based on model differences in hybrid multi-view modelling. Model differences allow to focus only on the manipulations operated by the user in a particular view, and to propagate them to the other views in a incremental way thus reducing the overhead of a complete recomputation of modified models.

  • 18.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Pierantonio, A.
    University of L'Aquila, Italy .
    On the concurrent versioning of metamodels and models: Challenges and possible solutions2011In: ACM International Conference Proceeding Series, 2011, 2011, 16-25 p.Conference paper (Refereed)
    Abstract [en]

    Model-Driven Engineering aims at shifting the focus of software development from coding to modelling in order to reduce the complexity of realizing nowadays applications. In this respect, models are expected to evolve due to refinements, improvements, bug fixes, and so forth. Because of the same reasons, also modelling languages (i.e. metamodels) are expected to be changed, even though at a different speed if compared to models. The relevant corpus of research grown up in the latest years and dealing with both these problems considers them as separate events; however, in normal practice not all the models are migrated instantaneously due to a metamodel adaptation, rather the co-adaptation is required when commits are attempted from a local workspace to the model repository, which can demand for different management policies. This paper illustrates the challenges arising in coping with concurrent metamodel and model versioning. In particular, it details a set of desired behaviours among which the user would usually select the appropriate management for the scenario into consideration together with entailed problems. Moreover, the work proposes corresponding solutions and discusses open issues. 

  • 19.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Sentilles, Séverine
    Mälardalen University, School of Innovation, Design and Engineering.
    Evolution Management of Extra-Functional Properties in Component-Based Embedded Systems2011In: Proceedings of the 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011), New York: ACM Special Interest Group on Computer Science Education, 2011, 93-102 p.Conference paper (Refereed)
    Abstract [en]

    As software complexity increases in embedded systems domain, component-based development becomes increasingly attractive. A main challenge in this approach is however to analyze the system's extra-functional properties (such as timing properties, or resource requirements), an important step in a development of embedded systems. Analysis of such properties are computational and time consuming, and often difficult. For this reason reuse of the results of the analysis is as important as the reuse of the component itself, especially in case of modifications of the context in which the component is used. This paper presents concepts and mechanisms that allow to automatically discover whether a property value is still valid when related components evolve: a value context language is proposed to formally define the validity conditions and identify possible threats

  • 20.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Mazzini, Silvia
    Intecs SpA, Pisa, Italy.
    Puri, Stefano
    Intecs SpA, Pisa, Italy.
    Panunzio, Marco
    University of Padova.
    Vardanega, Tullio
    University of Padova.
    Zovi, Alessandro
    University of Padova.
    CHESS: a Model-Driven Engineering Tool Environment for Aiding the Development of Complex Industrial Systems2012In: 27th International Conference on Automated Software Engineering (ASE 2012) Proceedings, 2012, 362-365 p.Conference paper (Refereed)
    Abstract [en]

    Modern software systems require advanced design support capable of mastering rising complexity, as well as of automating as many development tasks as possible. Model- Driven Engineering (MDE) is earning consideration as a solid response to those challenges on account of its support for abstraction and domain specialisation. However, MDE adoption often shatters industrial practice because its novelty opposes the need to preserve vast legacy and to not disband the skills matured in pre-MDE or alternative development solutions. This work presents the CHESS tool environment, a novel approach for cross-domain modelling of industrial complex systems. It leverages on UML profiling and separation of concerns realised through the specification of well-defined design views, each of which addresses a particular aspect of the problem. In this way, extra-functional, functional, and deployment descriptions of the system can be given in a focused manner, avoiding issues pertaining to distinct concerns to interfere with one another.

  • 21.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Automatic Synthesis of Heterogeneous CPU-GPU Embedded Applications from a UML Profile2013In: CEUR Workshop Proceedings, vol. 1084, 2013Conference paper (Refereed)
    Abstract [en]

    Modern embedded systems present an ever increasing complexity and model-driven engineering has been shown to be helpful in mitigating it. In our previous works we exploited the power of model-driven engineering to develop a round-trip approach for aiding the evaluation and assessment of extra-functional properties preservation from models to code. In addition, we showed how the round-trip approach could be employed to evaluate different deployment strategies, and the focus was on homogeneous CPUbased platforms. Due to the fact that the assortment of target-platforms in the embedded domain is inevitably shifting to heterogeneous solutions, our goal is to broaden the scope of the round-trip approach towards mixed CPU-GPU configurations. In this work we focus on the modelling of heterogeneous deployment and the enhancement of the current automatic code generator to synthesize code targeting such heterogeneous configurations.

  • 22.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Dethroning Programming Languages as Endorsed Means for Fine-grained UML Behaviour Modelling in Open Source MDE2015In: Workshop on Open Source Software for Model Driven Engineering OSS4MDE15, 2015, 44-53 p.Conference paper (Refereed)
    Abstract [en]

    Models are means for unification and UML was born with the ambition of providing "unified" modelling language and methodology. The myriad of competing proprietary tools, with every tool provider only focusing on its own interests, resulted in the creation of a multitude of similar but still different solutions and "dialects", which clashes with UML's ambition. A glaring example is the appalling number of action languages and code generators defined for UML.With this work we recognise the need of a unified effort towards an open source baseline for getting the best out of UML. More specifically, we contribute by showing how to simplify the transition from the use of programming languages for modelling fine-grained behaviours within models to model-aware action languages in industrial MDE leveraging open source tools. This is achieved by making our solution for the automated translational execution of the Action Language for Foundational UML cooperate with existing UML-based code generators that exploit programming languages for defining action code.

  • 23.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Explicit connection patterns (ECP) profile and semantics for modelling and generating explicit connections in complex UML composite structures2016In: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 121, 329-344 p.Article in journal (Refereed)
    Abstract [en]

    Model-driven engineering can help in mitigating ever-growing complexity of modern software systems. In this sense, the Unified Modelling Language (UML) has gained a thick share in the market of modelling languages adopted in industry. Nevertheless, the generality of UML can make it hard to build complete code generators, simulators, model-based analysis or testing tools without setting variability in the semantics of the language. To tailor semantics variability the notion of semantic variation point has been introduced in UML 2.0. Our research focuses on the semantic variation point that leaves the rules for matching multiplicities of connected instances of components and ports undecided in UML composite structures. In order to allow model analysability, simulation and code generation, this semantics needs to be set. At the same time, leaving the burden of this task to the developers is often overwhelming for complex systems. In this paper we provide a solution for supporting modelling and automatic calculation and generation of explicit interconnections in complex UML composite structures. This is achieved by (i) defining a set of connection patterns, in terms of a UML profile, and related semantic rules for driving the calculation, (ii) providing a generation algorithm to calculate the explicit interconnections.

  • 24.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    From Models to Code and Back: A Round-trip Approach for Model-driven Engineering of Embedded Systems2014Doctoral thesis, monograph (Other academic)
    Abstract [en]

    The complexity of modern systems is continuously growing, thus demanding novel powerful development approaches.In this direction, model-driven and component-based software engineering have reached the status of promising paradigms for the development of complex systems. Moreover, in the embedded domain, their combination is believed to be helpful in handling the ever-increasing complexity of such systems.However, in order for them and their combination to definitively break through at industrial level, code generated from models through model transformations should preserve system properties modelled at design level.

    This research work focuses on aiding the preservation of system properties throughout the entire development process across different abstraction levels. Towards this goal, we provide the possibility of analysing and preserving system properties through a development chain constituted of three steps: (i) generation of code from system models, (ii) execution and analysis of generated code, and (iii) back-propagation of analysis results to system models.With the introduction of steps (ii) and (iii), properties that are hard to predict at modelling level are compared with runtime values and this consequently allows the developer to work exclusively at modelling level thus focusing on optimising system models with the help of those values.

  • 25.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    From Models to Code and Back: Correct-by-construction Code from UML and ALF2013In: ICSE '13 Proceedings of the 2013 International Conference on Software Engineering, ACM , 2013, 1459-1461 p.Conference paper (Refereed)
    Abstract [en]

    Ever increasing complexity of modern software systems demands new powerful development mechanisms. Modeldriven engineering (MDE) can ease the development process through problem abstraction and automated code generation from models. In order for MDE solutions to be trusted, such generation should preserve the system?s properties defined at modelling level, both functional and extra-functional, all the way down to the target code. The outcome of our research is an approach that aids the preservation of system?s properties in MDE of embedded systems. More specifically we provide generation of full source code from design models defined using the CHESS-ML, monitoring of selected extra-functional properties at code level, and back-propagation of observed values to design models. The approach is validated against industrial case-studies in the telecommunications applicative domain.

  • 26.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    On the Automated Translational Execution of the Action Language for Foundational UMLIn: Software and Systems Modeling, ISSN 1619-1366, E-ISSN 1619-1374Article in journal (Refereed)
    Abstract [en]

    To manage the rapidly growing complexity of software development, abstraction and automation have been recognised as powerful means. Among the techniques pushing for them, Model-Driven Engineering has gained increasing attention from industry for, amongst others, the possibility to automatically generate code from models. To generate fully executable code, models should describe complex behaviours. While pragmatically this is achieved by employing programming languages for defining actions within models, the abstraction gap between modelling and programming languages can undermine consistency between models and code as well as analysability and reusability of models. In light of this, model-aware action languages should be preferred. This is the case of the Action Language for Foundational UML (ALF). In this paper we provide a solution for the fully automated translational execution of ALF towards C++. Additionally, we give an insight on how to simplify the transition from the use of programming languages for modelling fine-grained behaviours to model-aware action languages in industrial MDE. The solution presented in this paper has been assessed on industrial applications to verify its applicability to complex systems as well as its scalability.

  • 27.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Supporting Extra-Functional Properties Preservation in Model-Driven Engineering of Embedded Systems2011Report (Other academic)
    Abstract [en]

    In order for model-driven engineering to succeed, automated code generation from models through model transformations has to guarantee that extra-functional properties modelled at design level are preserved at code level. A full round-trip engineering approach could be needed in order to evaluate quality attributes of the embedded system by code execution monitoring/analysis tools and then provide backpropagation of the target code analysis results to modelling level. In this way, properties that can only be estimated statically are evaluated against runtime values and this consequently allows to optimize the design models for ensuring preservation of analysed extra-functional aspects. This paper presents an approach to support the whole round-trip process starting from the generation of source code for a target platform, passing through the monitoring of selected system quality attributes at code level, and nishing with the back-propagation of measured values to modelling level. The technique is validated against an industrial casestudy in the telecommunications applicative domain.

  • 28.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Toward Preservation of Extra-Functional Properties for Model-Driven Component-Based Software Engineering of Embedded Systems2012Licentiate thesis, comprehensive summary (Other academic)
    Abstract [en]

    Model-driven and component-based software engineering have been widely recognized as promising paradigms for development of a wide range of systems. Moreover, in the embedded real-time domain, their combination is believed to be helpful in handling the ever-increasing complexity of such systems design.However, in order for these paradigms and their combination to definitely break through at an industrial level for development of embedded real-time systems, both functional and extra-functional properties need to be addressed at each level of abstraction.

    This research focuses on the preservation of extra-functional properties. More specifically, the aim is to provide support for easing such preservation throughout the entire development process at different abstraction levels.The main outcome of the research work is a round-trip engineering approach aiding the preservation of extra-functional properties by providing code generators, supporting monitoring and analysis of code execution, and then enabling back-propagation of the results to modelling level. In this way, properties that can only be roughly estimated statically are evaluated against runtime values and this consequently allows to optimize the design models for ensuring preservation of analysed extra-functional properties.

    Moreover, a solution for managing evolution of computational context in which extra-functional properties are defined by means of validity analysis is provided. Such solution introduces a new language for the description of the computational context in which a given property is provided and/or computed by some analysis, enables detection of changes performed to the context description, and analyses the possible impacts on the extra-functional property values based on a precise representation of differences between previous and current version of the model.

  • 29.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards a model compilation framework based on a unified model execution semantics2017In: ICSE-C '17 Proceedings of the 39th International Conference on Software Engineering Companion, Buenos Aires, Argentina, 2017, 350-352 p.Conference paper (Refereed)
    Abstract [en]

    Due to the increasing complexity of software systems, model-driven engineering has been introduced to shift the developer's focus from machine-centric program code to human-centric models of the software under development. In model-driven approaches, program code in conventional programming languages (e.g., C++, Java) is commonly generated from models and then compiled or interpreted. Intermediate translation of models to program code raises two fundamental issues: 1) semantic inconsistency and information loss between an executable and its source model, and 2) suboptimality of executables, since compilers are unable to exploit model semantics. These issues are not tolerable in embedded real-time and safety-critical applications. To tame them, we propose direct compilation of models bypassing intermediate translations to conventional programming languages.

  • 30.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Embedded Systems.
    Towards Code Generation from Design Models for Embedded Systems on Heterogeneous CPU-GPU Platforms2013Conference paper (Refereed)
    Abstract [en]

    The complexity of modern embedded systems is ever increasing and the selection of target platforms is shifting from homogeneous to more heterogeneous and powerful configurations. In our previous works, we exploited the power of model-driven techniques to deal with such complexity by enabling the automatic generation of full-fledged functional code from UML models enriched with ALF action code. Nevertheless, the scope was bounded to CPU-based platforms. In this work we propose a preliminary definition of the means to build upon the current code generator to enable the generation of code targeting heterogeneous platforms, more specifically conceiving mixed CPU-GPU configurations. The aim is to minimise the effort of the user in modelling platform-related information by embedding the greatest feasible amount of it into the transformation process.

  • 31.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pelliccione, Patrizio
    University of Gothenburg, Sweden.
    Tivoli, Massimo
    University of L’Aquila, Italy.
    Editorial to theme issue on model-driven engineering of component-based software systems2017In: Software and Systems Modeling, ISSN 1619-1366, E-ISSN 1619-1374Article in journal (Other academic)
    Abstract [en]

    This theme issue aims at providing a forum for disseminating latest trends in the use and combination of model-driven engineering (MDE) and component-based software engineering (CBSE). One of the main aims of MDE is to increase productivity in the development of complex systems, while reducing the time to market. Regarding CBSE, one of the main goals is to deliver and then support the exploitation of reusable “off-the-shelf” software components to be incorporated into larger applications. An effective interplay of MDE and CBSE can bring benefits to both communities: on the one hand, the CBSE community would benefit from implementation and automation capabilities of MDE, and on the other hand, MDE would benefit from the foundational nature of CBSE. In total, we received 23 submissions to this theme issue, and each submission was reviewed by at least three reviewers. Thanks to the high quality of the submissions that we received, we could eventually accept six papers for publication.

  • 32.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Carlson, JanMälardalen University, School of Innovation, Design and Engineering, Embedded Systems.Tivoli, MassimoUniversity of L’Aquila, Italy.
    Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp) 20142014Conference proceedings (editor) (Other academic)
  • 33.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Towards Migration-Aware Filtering in Model Differences Application2012In: Proceedings of the 6th International Workshop on Models and Evolution, ME 2012, 2012, 45-50 p.Conference paper (Other academic)
    Abstract [en]

    The management of consistency among modelling artefacts is of crucial importance in model-driven engineering. Especially in distributed development, refinements of both metamodels and models are usually performed in a concurrent and misaligned manner, thus breaking consistency among model versions. Inconsistency situations become harmful when propagating changes from a local workspace to the shared repository or vice versa. The changes propagation can be achieved through model differences detection and application, exploiting filtering mechanisms when migration is not permitted. Nevertheless, loss of information due to metamodel evolutions may occur when filtering differences between models conforming to different versions of the modelling language. In this work we propose to minimise this loss of information by enhancing the filtering mechanism to take into account metamodel evolution information.

  • 34.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Krekola, Mikael
    Mälardalen University, School of Innovation, Design and Engineering.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering.
    Generation of Correct-by-Construction Code from Design Models for Embedded Systems2011In: 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), IEEE , 2011, 63-66 p.Conference paper (Refereed)
    Abstract [en]

    In a model-driven engineering development process that focuses on guaranteeing that extra-functional concerns modeled at design level are preserved at platform execution level, the task of automated code generation must produce artifacts that enable back-annotation activities. In fact when the target platform code has been generated, quality attributes of the system are evaluated by appropriate code execution monitoring/analysis tools and their results back-annotated to the source models to be extensively evaluated. Only at this point the preservation of analysed extra-functional aspects can be either asserted or achieved by re-applying the code generation chain to the source models properly optimized according to the evaluation results. In this work we provide a solution for the problem of automatically generating target platform code from source models focusing on producing code artifacts that facilitate analysis and enable back-annotation activities. Arisen challenges and solutions are described together with completed and planned implementation of the proposed approach.

  • 35.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Seceleanu, Tiberiu
    Mälardalen University, School of Innovation, Design and Engineering.
    Åkerberg, Johan
    Mälardalen University, School of Innovation, Design and Engineering.
    Delsing, Jerker
    Mälardalen University, School of Innovation, Design and Engineering.
    Carlsson, Lars Eric
    Mälardalen University, School of Innovation, Design and Engineering.
    Integrating Wireless Systems into Process Industry and Business Management2010In: ETFA10 - IEEE International Conference on Emerging Technology and Factory Automation, Bilbao, Spain, 2010Conference paper (Refereed)
    Abstract [en]

    We analyze here the topic of integration, in the area of process automation, from sensor/actuator levels to plant management levels. The communication at fieldbus level is based on wireless technology while management applications run in wired control systems, but can also be distributed, communicating via the Internet. This work aims at building a real-life demonstrator at Boliden, a mining and smelting plant located in Boliden, Sweden.. A small process control environment is to be deployed at the plant to supervise a tank level control system. Targeted results are an interface between wireless and wired systems, the deployment of a wireless process control environment at Boliden, and the development of the enterprise business management facilities.

  • 36.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Siljamäki, Toni
    Ericsson AB.
    Kavadiya, Jenis
    Tata Consultancy Services, Hyderabad,.
    Automating Test Cases Generation: From xtUML System Models to QML Test Models2010In: Proceedings - 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, 2010, 9-16 p.Conference paper (Refereed)
    Abstract [en]

    The scope of Model-Driven Engineering is not limited to Model-Based Development (MBD), i.e. the generation of code from system models, but involves also Model-Based Testing (MBT), which is the automatic generation of efficient test procedures from corresponding test models. Both MBD and MBT include activities such as model creation, model checking, and use of model compilers for the generation of system/test code. By reusing these common activities, the efficiency of MBT can be significantly improved for those organizations which have already adopted MBD, since one of the major efforts in MBT is the creation of test models. In this work, we propose to exploit modeling activity efforts by deriving test models from system models. In this respect, we present a case study in which the Executable and Translatable UML system models are used for automatically generating test models in the QTronic Modeling Language using horizontal model transformations. In turn, the derived artefacts can be used to produce test cases which result to be appropriate for the system under development.

  • 37.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Exploiting UML Semantic Variation Points to Generate Explicit Component Interconnections in Complex Systems2013In: ITNG '13 Proceedings of the 2013 10th International Conference on Information Technology: New Generations, 2013, 225-232 p.Conference paper (Refereed)
    Abstract [en]

    Modern modelling languages provide dedicated features to support the detailed design of complex systems from different domains. Nevertheless, especially general-purpose languages provide extensive syntactical expressiveness that, in some cases, may be hard to align with well-defined semantics. This is often inevitable due to the fact that, in order for model-driven approaches to be fruitful, modelling activities should require a lower effort than code-based approaches. In the case of UML and component-based design, precise syntactical definition of the number of component and port instances building up the system is provided. How component instances are explicitly connected to each other via ports is left as a semantic variation point in order for the modeller to freely interpret the related metamodel semantics. On the one hand, in order to allow model analysability, simulation and generation of target code, ad-hoc choices regarding this semantics need to be taken. On the other hand, leaving the burden of this task to the developers is often unthinkable for complex industrial systems (composed by a number of components and connections in the magnitude of 10^4 and above). Therefore we propose a set of semantic rules for the establishment of explicit links between component instances and provide a solution for the automatic generation of these links by applying the defined rules.

  • 38.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering.
    Full Code Generation from UML Models for Complex Embedded Systems2012In: Second International Software Technology Exchange Workshop (STEW) 2012, 2012Conference paper (Refereed)
    Abstract [en]

    The complexity of modern software systems is ever increasing thus demanding new powerful development mechanisms. In the research work summarised in this paper we aim at providing a model-driven engineering approach centred on the generation of 100% of the implementation from source models defined using a UML profile enriched with Action Language for Foundational UML. The focus is on the development of industrial embedded systems. The final aim is to increase productivity by automating development tasks through the exploitation of model-driven and component-based techniques as well as to tackle the error-proneness typical of code-based approaches.

  • 39.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    On the Generation of Full-fledged Code from UML Profiles and ALF for Complex Systems2015In: Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015, 2015, 81-88 p.Conference paper (Refereed)
    Abstract [en]

    Modern software systems are becoming more and more complex thus demanding for new powerful development mechanisms. Model-driven engineering has been recognised as a promising paradigm for the development of complex systems especially for its capability of abstracting the problem through models and then manipulating them to reach the implementation. In this work we provide a solution for the problem of automatically generating target code from models expressed in CHESS-ML, a UML profile that leverages the Action Language for Foundational UML. The goal is to produce code that does not require any manual intervention after its automatic generation to be executed on the target platform. Focus is on the generation of complex systems targeting both single and multi process deployment configurations as well as different execution platforms.

  • 40.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Round-Trip Support for Extra-functional Property Management in Model-Driven Engineering of Embedded Systems2013In: Information and Software Technology, ISSN 0950-5849, E-ISSN 1873-6025, Vol. 55, no 6, 1085-1100 p.Article in journal (Refereed)
    Abstract [en]

    Context: In order for model-driven engineering to succeed, automated code generation from models through model transformations has to guarantee that extra-functional properties modelled at design level are preserved at code level. Objective: The goal of this research work is to provide a full round-trip engineering approach in order to evaluate quality attributes of the embedded system by code execution monitoring as well as code static analysis and then provide back-propagation of the resulting values to modelling level. In this way, properties that can only be roughly estimated statically are evaluated against observed values and this consequently allows to refine the design models for ensuring preservation of analysed extra-functional properties at code level. Method: Following the model-driven engineering vision, (meta-)models and transformations are used as main artefacts for the realisation of the round-trip support which is finally validated against an industrial case-study. Result: This article presents an approach to support the whole round-trip process starting from the generation of source code for a target platform, passing through the monitoring of selected system quality attributes at code level, and finishing with the back-propagation of observed values to modelling level. The technique is validated against an industrial case-study in the telecommunications applicative domain. Conclusion: Preservation of extra-functional properties through appropriate description, computation and evaluation allows to reduce final product verification and validation effort and costs by providing correctness-by-construction of the generated code. The proposed round-trip support aids a model-driven component-based development process in ensuring a desired level of extra-functional properties preservation from the source modelling artefacts to the generated code.

  • 41.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering.
    Towards a Round-Trip Support for Model-Driven Development of Embedded Systems: Towards a round-trip support for model-driven engineering of embedded systems2011In: Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Los Alamitos: IEEE Computer Society, 2011, 200-208 p.Conference paper (Refereed)
    Abstract [en]

    In a model-driven environment aiming at generating implementation code ensuring that extra-functional properties modeled at design level are preserved at execution time, a full round-trip engineering approach is often needed. Target code is meant to be generated from design models through appropriate model transformations, once the code has been generated, quality attributes of the embedded system are evaluated by execution monitoring/analysis tools. Eventually, in order to complete a model-driven round-trip approach, provision of back-annotation of the target code analysis results to modeling level is crucial for evaluating and consequently optimizing the design models for ensuring preservation of analyzed extra-functional aspects. In this work the problem of providing such approach in terms of process and related challenges is described together with a proposed solution. Particular emphasis is put on the description of how both traceability information and code analysis results are formalized in order to enable the desired back-annotating capabilities.

  • 42.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards Translational Execution of Action Language for Foundational UML2013In: 39th Euromicro Conference Series on Software Engineering and Advanced Applications SEAA 2013, Santander, Spain, 2013, 153-160 p.Conference paper (Refereed)
    Abstract [en]

    Model-driven engineering has prominently gained consideration as effective substitute of error-prone code-centric development approaches especially for its capability of abstracting the problem through models and then manipulating them to automatically generate target code. Nowadays, thanks to powerful modelling languages, a system can be designed by means of well-specified models that capture both structural as well as behavioural aspects. From them, target implementation is meant to be automatically generated. An example of well-established general purpose modelling language is the UML, recently enhanced with the introduction of an action language denominated ALF, both proposed by the OMG. In this work we focus on enabling the execution of models defined in UML--ALF and more specifically on the translational execution of ALF towards non-UML target platforms.

  • 43.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Corcoran, Diarmuid
    Ericsson AB, Kista, Sweden.
    Seceleanu, Tiberiu
    ABB Corporate Research, Vasteras, Sweden.
    Scholle, Detlef
    Alten Sverige AB, Sweden.
    SMARTCore: Boosting Model-Driven Engineering of Embedded Systems for Multicore2015In: Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015, 2015, Vol. Article number 7113454, 89-94 p.Conference paper (Refereed)
    Abstract [en]

    Thanks to continuous advances in both software and hardware technologies the power of modern embedded systems is ever increasing along with their complexity. Among the others, Model-Driven Engineering has grown consideration for mitigating this complexity through its ability to shift the focus of the development from hand-written code to models from which correct-by-construction implementation is automatically generated. However, the path towards correctness-by-construction is often twisted by the inability of current MDE approaches to preserve certain extra-functional properties such as CPU and memory usage, execution time and power consumption. With SMARTCore we address open challenges, described in this paper together with an overview of possible solutions, in modelling, generating code from models, and exploiting back-propagated extra-functional properties observed at runtime for deployment optimisation of embedded systems on multicore. SMARTCore brings together world leading competence in software engineering, model-driven engineering for embedded systems (Mälardalen University), and market leading expertise in the development of these systems in different business areas (ABB Corporate Research, Ericsson AB, Alten Sweden AB).

  • 44.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering.
    Performing a project in a Distributed Software Development Course: Lessons Learned2010In: 2010 5th IEEE International Conference on Global Software Engineering (ICGSE), Princeton: IEEE , 2010, 187-191 p.Conference paper (Refereed)
  • 45.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Crnkovic, Ivica
    Chalmers University of Technology, University of Gothenburg, Sweden.
    Di Ruscio, D.
    University of L'Aquila, Italy.
    Malavolta, I.
    University of L'Aquila, Italy.
    Pelliccione, P.
    Chalmers University of Technology, University of Gothenburg, Sweden.
    Spalazzese, R.
    Malmö University, Sweden.
    Model-Driven Engineering for Mission-Critical IoT Systems2017In: IEEE Software, ISSN 0740-7459, Vol. 34, no 1, 46-53 p., 7819388Article in journal (Refereed)
    Abstract [en]

    Mission-critical Internet of Things (MC-IoT) systems involve heterogeneous things from both the digital and physical worlds. They run applications whose failure might cause significant and possibly dramatic consequences, such as interruption of public services, significant business losses, and deterioration of enterprise operations. These applications require not only high availability, reliability, safety, and security but also regulatory compliance, scalability, and serviceability. At the same time, they're exposed to various facets of uncertainty, spanning from software and hardware variability to mission planning and execution in possibly unforeseeable environments. Model-driven engineering can potentially meet these challenges and better enable the adoption of MC-IoT systems.

  • 46.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Di Ruscio, Davide
    University of L’Aquila, L’Aquila, Italy.
    Malavolta, Ivano
    Vrije Universiteit Amsterdam, Amsterdam, The Netherlands.
    Pelliccione, Patrizio
    Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden.
    Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems2016In: IEEE Access, E-ISSN 2169-3536, Vol. 4, 6451-6466 p.Article in journal (Refereed)
    Abstract [en]

    Robots are meant to replace humans for a broad variety of everyday tasks such as environmental monitoring or patrolling large public areas for security assurance. The main focus of researchers and practitioners thus far has been on providing tailored software and hardware solutions for very specific and often complex tasks. On one hand, these solutions display, in some cases, great potential and provide advanced capabilities for solving the specific task. On the other hand, the polarized attention to task-specific solutions makes them hard to reuse and combined. In this paper we propose a family of domain-specific modeling languages for the specification of civilian missions of mobile multi-robot systems. These missions are meant to be described in terms of models that are (i) closer to the general problem domain, (ii) independent from the underlying technologies, (ii)i ready to be analyzed, simulated, and executed, and (iv) extensible to new application domains, thus opening up the use of robots to even non-technical operators. Moreover, we show the applicability of the proposed family of languages in two real-world application domains: unmanned multicopters and autonomous underwater vehicles.

  • 47.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Di Ruscio, Davide
    University of L´Aquila, Italy.
    Malavolta, Ivano
    Vrije Universiteit Amsterdam,The Netherlands.
    Pelliccione, Patrizio
    Chalmers University, Sweden.
    Tumova, Jana
    KTH, Sweden.
    Engineering the Software of Robotic Systems2017In: 39th International Conference on Software Engineering ICSE17, 2017, 507-508 p., 7965406Conference paper (Refereed)
    Abstract [en]

    The production of software for robotic systems is often case-specific, without fully following established engineering approaches. Systematic approaches, methods, models, and tools are pivotal for the creation of robotic systems for real-world applications and turn-key solutions. Well-defined (software) engineering approaches are considered the 'make or break' factor in the development of complex robotic systems. The shift towards well-defined engineering approaches will stimulate component supply-chains and significantly reshape the robotics marketplace. The goal of this technical briefing is to provide an overview on the state of the art and practice concerning solutions and open challenges in the engineering of software required to develop and manage robotic systems. Model-Driven Engineering (MDE) is discussed as a promising technology to raise the level of abstraction, promote reuse, facilitate integration, boost automation and promote early analysis in such a complex domain.

  • 48.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Feljan, Juraj
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Architecture optimization: Speed or accuracy? Both!In: Software Quality Journal (Springer) SQJArticle in journal (Refereed)
    Abstract [en]

    Embedded systems are becoming more and more complex, thus demanding innovative means to tame their challenging development. Among others, early architecture optimization represents a crucial activity in the development of embedded systems to maximise the usage of their limited resources and to respect their real-time requirements. Typically, architecture optimization seeks good architecture candidates based on model-based analysis. Leveraging abstractions and estimates, this analysis usually produces approximations useful for comparing architecture candidates. Nonetheless, approximations do not provide enough accuracy in estimating crucial extra-functional properties. In this article, we provide an architecture optimization framework that profits from both the speed of model-based predictions and the accuracy of execution-based measurements. Model-based optimization rapidly finds a good architecture candidate, which is refined through optimization based on monitored executions of automatically generated code. Moreover, the framework enables the developer to leverage her optimization experience. More specifically, the developer can use runtime monitoring of generated code execution to manually adjust task allocation at modelling level, and commit the changes without halting execution. In the article, our architecture optimization mechanism is first described from a general point of view and then exploited for optimizing the allocation of software tasks to the processing cores of a multicore embedded system; we target extra-functional properties that can be concretely represented and automatically compared for different architectural alternatives (such as memory consumption, energy consumption, or responsetime).

  • 49.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Malavolta, IvanoVrije University, The Netherlands.
    Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp) 20162016Conference proceedings (editor) (Other academic)
  • 50.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pelliccione, PatrizioGothenburg University, Sweden.Borde, EtienneTelecom ParisTech, France.
    Proceedings of the 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015)2015Conference proceedings (editor) (Other academic)
12 1 - 50 of 60
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf