mdh.sePublications
Change search
Refine search result
2345678 201 - 250 of 1332
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)
  • Disputation date (earliest first)
  • Disputation date (latest 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)
  • Disputation date (earliest first)
  • Disputation date (latest 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.
  • 201.
    Bello, L. L.
    et al.
    University of Catania, Catania, Italy.
    Åkerberg, J.
    ABB Corporate Research, Västerås, Sweden.
    Gidlund, M.
    Mid Sweden University, Sundsvall, Sweden.
    Uhlemann, Elisabeth
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Guest Editorial Special Section on New Perspectives on Wireless Communications in Automation: From Industrial Monitoring and Control to Cyber-Physical Systems2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 3, p. 1393-1396, article id 7938563Article in journal (Refereed)
  • 202.
    Bello, Luciano
    et al.
    Chalmers University of Technology, Gothenburg, Sweden.
    Hedin, Daniel
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Chalmers University of Technology, Gothenburg, Sweden.
    Sabelefeld, Andrei
    Chalmers University of Technology, Gothenburg, Sweden.
    Value Sensitivity and Observable Abstract Values for Information Flow Control2015In: 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR'15, 2015, p. 63-78Conference paper (Refereed)
    Abstract [en]

    Much progress has recently been made on information flow control, enabling the enforcement of increasingly rich policies for increasingly expressive programming languages. This has resulted in tools for mainstream programming languages as JavaScript, Java, Caml, and Ada that enforce versatile security policies. However, a roadblock on the way to wider adoption of these tools has been their limited permissiveness (high number of false positives). Flow-, context-, and object-sensitive techniques have been suggested to improve the precision of static information flow control and dynamic monitors have been explored to leverage the knowledge about the current run for precision. This paper explores value sensitivity to boost the permissiveness of information flow control. We show that both dynamic and hybrid information flow mechanisms benefit from value sensitivity. Further, we introduce the concept of observable abstract values to generalize and leverage the power of value sensitivity to richer programming languages. We demonstrate the usefulness of the approach by comparing it to known disciplines for dealing with information flow in dynamic and hybrid settings.

  • 203.
    Berg, Tobias
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Karlström, Lars
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    The construction of a Pan-Tilt unit with two digitalcameras and a PC interface2014Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
  • 204.
    Bergman, Jan E. S.
    et al.
    Swedish Institute of Space Physics, Sweden.
    Bruhn, Fredrik
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Funk, Peter
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Isham, Brett
    Interamerican University of Puerto Rico, Bayamón, Puerto Rico.
    Rincon-Charris, Amilcar
    Interamerican University of Puerto Rico, Bayamón, Puerto Rico.
    Capo-Lugo, Pedro
    NASA Marshall Space Flight Center, Huntsville, Alabama, USA.
    Åhlen, Lennart
    Swedish Institute of Space Physics, Sweden.
    Exploiting Artificial Intelligence for Analysis and Data Selection on-board the Puerto Rico CubeSat2015Conference paper (Refereed)
  • 205.
    Bergström, Henning
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Enoiu, Eduard Paul
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software2017In: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, Institute of Electrical and Electronics Engineers Inc. , 2017, p. 216-219Conference paper (Refereed)
    Abstract [en]

    The base-choice criterion was proposed as a suitable technique for testing software based on its nominal choice of input parameters. Test cases are created based on this strategy by varying the values of one input parameter at a time while keeping the values of the other parameters fixed on the base choice. However, this strategy might not be as effective when used on industrial control software for testing timed behavior. We propose to incorporate time as another parameter when generating and executing tests by defining the timed base-choice coverage criterion. We performed an empirical evaluation using 11 industrial programs written in the IEC 61131-3 programming language. We found that tests generated for timed base-choice criterion show better code coverage (7% improvement) and fault detection (27% improvement) in terms of mutation score than tests satisfying base-choice coverage criterion. The results demonstrate the feasibility of applying timed base-choice criterion for testing industrial control software.

  • 206. Blobel, Bernd
    et al.
    Lindén, MariaMälardalen University, School of Innovation, Design and Engineering, Embedded Systems.Ahmed, Mobyen UddinMälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Proceedings of the 12th International Conference on Wearable Micro and Nano Technologies for Personalized Health: pHealth20152015Conference proceedings (editor) (Other academic)
  • 207. Boman, Inga-Lill
    et al.
    Ehn, Maria
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjölinder, Marie
    Folke, Mia
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Hansson, Pär
    Sommerfeld, Disa
    Borg, Jörgen
    Users’ and health-care professionals’ contributions in developing a home-based stroke rehabilitation tool2014Conference paper (Refereed)
  • 208.
    Bosnic, Ivana
    et al.
    FER, University of Zagreb, Croatia.
    Cavrak, Igor
    FER, University of Zagreb, Croatia.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Crnkovic, Ivica
    Chalmers University, Gothenburg, Sweden.
    Di Nitto, Elisabetta
    Politecnico di Milano, Italy.
    Mirandola, Raffaela
    Politecnico di Milano, Italy.
    Zagar, Mario
    FER, University of Zagreb, Croatia.
    Hall of Fame nomination paper: Distributed Software Development course2017In: 30th IEEE Conference on Software Engineering Education & Training CSEE&T, 2017Conference paper (Refereed)
    Abstract [en]

    Distributed Software Development course is a joint project-based course involving three universities, from Croatia, Sweden and Italy, running each year since 2003. Distributed student teams work on all phases of a complex software engineering project, solving several challenges of working in a global environment, thus obtaining a valuable experience for their future careers. The course is very well received

  • 209.
    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.

  • 210.
    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.

  • 211.
    Bosnic, Ivana
    et al.
    FER, University of Zagreb, Croatia.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Crnkovic, Ivica
    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.
    Mirandola, Raffaela
    Politecnico di Milano, Italy.
    Zagar, Mario
    FER, University of Zagreb, Croatia.
    Managing diversity in distributed software development education: a longitudinal case studyIn: ACM Transactions on Computing Education, ISSN 1946-6226, E-ISSN 1946-6226Article in journal (Refereed)
    Abstract [en]

    Teaching Distributed Software Development with real distributed settings is a challenging and rewarding task. Distributed courses are idiosyncratically more challenging than standard local courses.We have experienced this during our distributed course, which has been run for 14 consecutive years. In this paper, we present and analyze the emerging diversities specific to distributed project-based courses. We base our arguments on our experience and we exploit a three-layered distributed course model, which we use to analyze several course elements throughout the 14-years lifetime of our distributed project-based course. In particular, we focus on the changes that the course underwent throughout the years, combining findings obtained from the analyzed data with our own teaching perceptions. Additionally, we propose insights on how to manage the various diversity aspects.

  • 212.
    Brahneborg, Daniel
    et al.
    Infoflex Connect AB, Stockholm, Sweden.
    Afzal, Wasif
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Causevic, Adnan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A Black-Box Approach to Latency and Throughput Analysis2017In: Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, 2017, p. 603-604, article id 8004393Conference paper (Refereed)
    Abstract [en]

    To enable fast and reliable delivery of mobile text messages (SMS), special bidirectional protocols are often used. Measuring the achieved throughput and involved latency is however non-trivial, due to the complexity of these protocols. Modifying an existing system would incur too much of a risk, so instead a new tool was created to analyse the log files containing information about this traffic in a black-box fashion. When the produced raw data was converted into graphs, they gave new insights into the behaviour of both the protocols and the remote systems involved.

  • 213.
    Brahneborg, Daniel
    et al.
    Infoflex Connect AB, Stockholm, Sweden.
    Afzal, Wasif
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Causevic, Adnan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A Pragmatic Perspective on Regression Testing Challenges2017In: Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, 2017, p. 618-619, article id 8004401Conference paper (Refereed)
    Abstract [en]

    Regression testing research has received significant focus during the past decades, acknowledging the benefits it can provide to organisations in terms of reduced development and maintenance costs, as well as sustained end-user satisfaction. There are several challenges left to overcome before the industry can fully take advantage of the available research results in this area. To get a better overview of how current regression testing research fits in with today’s industrial practices, we read a selection of papers in the field and based on our experience, critically examined their content. As a result, we present and discuss a taxonomy of regression testing challenges, from the perspectives of both methods and organisations, that we believe will foster the industrial uptake of regression testing.

  • 214.
    Breivold, Hongyu
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cloud Computing education strategies2014In: 2014 IEEE 27th Conference on Software Engineering Education and Training, CSEE and T 2014 - Proceedings, 2014, p. 29-38Conference paper (Refereed)
    Abstract [en]

    Cloud Computing is changing the services consumption and delivery platform as well as the way businesses and users interact with IT resources. It represents a major conceptual shift that introduces new elements in programming models and development environments that are not present in traditional technologies. The evolution of Cloud Computing motivates teaching Cloud Computing to computer science senior students and graduate students so that they can gain broad exposure to the main body of knowledge of Cloud Computing and get prepared for occupations in industry. There is thus a strong need for having a Cloud Computing education course that (i) has a broad coverage of different roles interacting with a cloud; and (ii) leverages Cloud Computing concepts, technology and architecture topics at both introductory and advanced level. In this paper, we describe the demand for understanding the impact of Cloud Computing in computer science higher education. We propose education strategies for teaching Cloud Computing, including key knowledge areas for an enduring Cloud Computing course. © 2014 IEEE.

  • 215.
    Breivold, Hongyu Pei
    et al.
    ABB Corp Res, Vasteras, Sweden..
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cloud Computing Education Strategies2014In: 2014 IEEE 27TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T) / [ed] Bollin, A Hochmuller, E Mittermeir, RT Cowling, T LeBlanc, R, IEEE , 2014, p. 29-38Conference paper (Refereed)
    Abstract [en]

    Cloud Computing is changing the services consumption and delivery platform as well as the way businesses and users interact with IT resources. It represents a major conceptual shift that introduces new elements in programming models and development environments that are not present in traditional technologies. The evolution of Cloud Computing motivates teaching Cloud Computing to computer science senior students and graduate students so that they can gain broad exposure to the main body of knowledge of Cloud Computing and get prepared for occupations in industry. There is thus a strong need for having a Cloud Computing education course that (i) has a broad coverage of different roles interacting with a cloud; and (ii) leverages Cloud Computing concepts, technology and architecture topics at both introductory and advanced level. In this paper, we describe the demand for understanding the impact of Cloud Computing in computer science higher education. We propose education strategies for teaching Cloud Computing, including key knowledge areas for an enduring Cloud Computing course.

  • 216.
    Breivold, Hongyu Pei
    et al.
    ABB Corporate Research, Västerås, Sweden .
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Radosevic, Iva
    Balatinac, Ivan
    Architecting for the cloud: A systematic review2015In: Proceedings - 17th IEEE International Conference on Computational Science and Engineering, CSE 2014, Jointly with 13th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2014, 13th International Symposium on Pervasive Systems, Algorithms, and Networks, I-SPAN 2014 and 8th International Conference on Frontier of Computer Science and Technology, FCST 2014, 2015, p. 312-318Conference paper (Refereed)
    Abstract [en]

    Cloud Computing has emerged as a new paradigm in the field of network-based services within many industrial and application domains. The major benefits that it provides in terms of IT efficiency and business agility represent a huge competitive advantage for an organization. However, building new services in the cloud or designing cloud-based solutions into existing business context in general is a complex decision process involving many factors. In this paper, we undertake a systematic review to obtain an overview of the existing studies in designing cloud-based solutions. In particular, we investigate the main challenges and concerns when building cloud-based architectures and different architectural approaches and design considerations that are proposed in literatures to meet these specific concerns. The search strategy identified 72 studies that were catalogued as primary studies for this review after using multi-step selection process. The main challenges and concerns are classified into four main categories: security and trustworthiness, elasticity, portability and interoperability, and cloud resilience. We have also categorized studies that describe architectural approaches and design considerations when architecting for the cloud. Implications for research and practice are presented as well.

  • 217.
    Bril, Reinder J.
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Technische Universiteit Eindhoven (TU/e), Netherlands.
    Altmeyer, Sebastian
    University of Amsterdam (UvA), The Netherlands.
    van den Heuvel, Martijn
    Technische Universiteit Eindhoven (TU/e), Netherlands.
    Davis, Rob
    University of York, UK.
    Behnam, Moris
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Integrating Cache-Related Pre-emption Delays into Analysis of Fixed Priority Scheduling with Pre-emption Thresholds2014In: Proceedings - Real-Time Systems Symposium, 2014, Vol. January, p. 161-172Conference paper (Refereed)
    Abstract [en]

    Cache-related pre-emption delays (CRPD) have been integrated into the schedulability analysis of sporadic tasks with constrained deadlines for fixed-priority pre-emptive scheduling (FPPS). This paper generalizes that work by integrating CRPD into the schedulability analysis of tasks with arbitrary deadlines for fixed-priority pre-emption threshold scheduling (FPTS). The analysis is complemented by an optimal threshold assignment algorithm that minimizes CRPD. The paper includes a comparative evaluation of the schedulability ratios of FPPS and FPTS, for constrained-deadline tasks, taking CRPD into account.

  • 218.
    Bruhn, Fredrik
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Brunberg, Kjell
    BAP, Uppsala, Sweden.
    Hines, John
    Independent Consultant.
    Asplund, Lars
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Norgren, Magnus
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. BAP, Uppsala, Sweden.
    Introducing Radiation Tolerant Heterogeneous Computers for Small Satellites2015In: IEEE Aerospace Conference Proceedings, vol. 2015, 2015, Vol. 2015, p. Article number 7119158-Conference paper (Refereed)
    Abstract [en]

    This paper presents results and conclusions from design, manufacturing, and benchmarking of a heterogeneous computing low power fault tolerant computer, realized on an industrial Qseven® small form factor (SFF) platform. A heterogeneous computer in this context features multi-core processors (CPU), a graphical processing unit (GPU), and a field programmable gate array (FPGA). The x86 compatible CPU enables the use of vast amounts of commonly available software and operating systems, which can be used for space and harsh environments. The developed heterogeneous computer shares the same core architecture as game consoles such as Microsoft Xbox One and Sony Playstation 4 and has an aggregated computational performance in the TFLOP range. The processing power can be used for on-board intelligent data processing and higher degrees of autonomy in general. The module feature quad core 1.5 GHz 64 bit CPU (24 GFLOPs), 160 GPU shader cores (127 GFLOPs), and a 12 Mgate equivalent FPGA fabric with a safety critical ARM® Cortex-M3 MCU.

  • 219.
    Bucaioni, Alessio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A Model-based Approach for Vehicular Systems2017Report (Other academic)
  • 220.
    Bucaioni, Alessio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems2017Doctoral 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.

  • 221.
    Bucaioni, Alessio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Early Timing Analysis of Vehicular Systems: The Road from Single-core to Multi-core2016In: CEUR Workshop Proceedings, Volume 1735, 2016Conference paper (Refereed)
    Abstract [en]

    In the software development for vehicular embedded systems, timing predictability is paramount for the development of the vehicles' safety features and for reaching a satisfactory customer value. Modern vehicles' features require new level of computational power. On the one hand, multi-core platforms can provide e cient support for these features. On the other hand, multi-core platforms complicate the software development of vehicular embedded systems as timing predictability is still an open issues for these platforms. In this paper we present a PhD work de ning a model-based software development methodology which supports early timing analysis for vehicular embedded systems on multi-core.

  • 222.
    Bucaioni, Alessio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering2015In: CEUR Workshop Proceedings, 2015, Vol. 1499, p. 11-20Conference paper (Refereed)
    Abstract [en]

    The complexity of vehicular embedded systems is continuously increasing and this can negatively a ect their development cost and time to market. One way to alleviate these issues is to anticipate analysis of system properties at design time for early architectural re- nements. In this paper, we present a licentiate work which aims at contributing to this e ort. In particular, considering the importance of timing constraints typical of vehicular embedded systems, we leverage Model-Driven Engineering for realizing an automatic approach which allows the developer to perform timing analysis on design models, without having to manually specify timing elements. The proposed approach, starting from a high-level model of the vehicular embedded application, generates a set of candidate models enriched with timing elements in a semi-automatic manner. Timing analysis is run on the generated models and, based on its results, the approach supports the selection of the best candidate model for a speci c, non-empty, set of timing constraints

  • 223.
    Bucaioni, Alessio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB .
    Raising Abstraction of Timing Analysis through Model-Driven Engineering2015Licentiate thesis, comprehensive summary (Other academic)
    Abstract [en]

     The complexity of software running on vehicular embedded systems is constantly

    increasing and this negatively affects its development costs and time to

    market. One way to deal with these issues is to boost abstraction in the form

    of models to (i) ease the reasoning about the system architecture, (ii) automate

    certain stages of the development, (iii) early detect flaws in the system architecture

    through fundamental analysis and (iv) take appropriate countermeasures

    before the system is implemented.

    Considering the importance of timing requirements in the design of software

    for vehicular embedded systems, in this licentiate thesis we leverage

    Model-Driven Engineering for realizing a semi-automatic approach which allows

    the developer to perform end-to-end delay timing analysis on design models,

    without having to manually model timing elements and set their values.

    The proposed approach, starting from a design model of an automotive

    software functionality, automatically generates a set of models enriched with

    timing elements whose values are set at generation time. End-to-end delay timing

    analysis is run on the generated models and, based on the analysis results,

    the approach automatically selects the generated models which better meet a

    specific set of timing requirements.

  • 224.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Addazi, Lorenzo
    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.
    Eramo, Romina
    University of L’Aquila, L’Aquila, Italy..
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Nolin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    MoVES: a Model-driven methodology for Vehicular Embedded Systems2018In: IEEE Access, E-ISSN 2169-3536, p. 6424-6445Article in journal (Refereed)
    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.

  • 225.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Addazi, Lorenzo
    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.
    Eramo, Romina
    University of LAquila, Italy.
    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.
    A Model-based Approach for Vehicular Systems2017Report (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.

  • 226.
    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, Mikael
    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, p. 63-72Conference 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.

  • 227.
    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.
    Kodali, M.
    Westermo, Västerås, Sweden.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Alignment of Requirements and Testing in Agile: An Industrial Experience2018In: Advances in Intelligent Systems and Computing, ISSN 2194-5357, E-ISSN 2194-5365, Vol. 738, p. 225-232Article in journal (Refereed)
    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. 

  • 228.
    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.

  • 229.
    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, p. 173-180Conference 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.

  • 230.
    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.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards a metamodel for the Rubus Component Model2014In: CEUR Workshop Proceedings, vol 1281, 2014, p. 46-56Conference paper (Refereed)
    Abstract [en]

    Component-Based Software Engineering has been recognized as an effective practice for dealing with the increasing complexity of the software for vehicular embedded systems. Despite the advantages it has introduced in terms of reasoning, design and reusability, the software development for vehicular embedded systems is still hampered by constel- lations of different processes, file formats and tools, which often require manual ad hoc translations. By exploiting the crossplay of Component- Based Software Engineering and Model-Driven Engineering, we take ini- tial steps towards the definition of a seamless chain for the structural, functional and execution modeling of software for vehicular embedded systems. To this end, one of the entry requirements is the metamodels definition of all the technologies used along the software development. In this work, we define a metamodel for an industrial component model, Rubus Component Model, used for the software development of vehicular real-time embedded systems by several international companies. We focus on the definition of metamodeling elements representing the software architecture.

  • 231.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Jarfalla, Sweden.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Jarfalla, Sweden.
    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.
    Exploring Timing Model Extractions at EAST-ADL Design-level Using Model Transformations2015In: Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015, 2015, Vol. Article number 7113538, p. 596-600Conference paper (Refereed)
    Abstract [en]

    We discuss the problem of extracting control and data flows from vehicular distributed embedded systems at higher abstraction levels during their development. Unambiguous extraction of control and data flows is vital part of the end-to-end timing model which is used as input by the end-to end timinganalysis engines. The goal is to support end-to-end timing analysis at higher abstraction levels. In order to address the problem, we propose a two-phase methodology that exploits the principles of ModelDriven Engineering and Component Based Software Engineering. Using this methodology, the software architecture at a higher level is automatically transformed to all legal implementation-level models. The end-to-end timing analysis is performed on each generated implementation-level model and the analysis results are fed back to the design-level model. This activity supports design space exploration, modelrefinement and/or remodeling at higher abstraction levels for tuning the timing behavior of the system.

  • 232.
    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, ISSN 2169-3536, p. 9005-9020Article 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.

  • 233.
    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, p. 1110-1115Conference 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.

  • 234.
    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, 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.

  • 235.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Lundbäck, John
    Arcticus Systems AB, Sweden.
    Lundbäck, Kurt-Lennart
    Arcticus Systems AB, Sweden.
    Mäki-Turja, Jukka
    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.
    Demonstrator for modeling and development of component-based distributed real-time systems with Rubus-ICE2013In: Open Demo Session of Real-Time Systems: Open Demo Session of Real-Time Systems located at Real Time Systems Symposium (RTSS), 2013Conference paper (Refereed)
    Abstract [en]

    We present a demonstrator for modeling and development of component-based vehicular distributed real-time systems using the industrial model Rubus Component Model (RCM) and its development environment Rubus-ICE (Integrated Component development Environment). It demonstrates various stages during the development process of these systems such as modeling of software architecture, performing timing analysis, automatic synthesis of code from the software architecture, simulation, testing, and deployment.

  • 236.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Lundbäck, John
    Arcticus Systems AB, Sweden.
    Lundbäck, Kurt-Lennart
    Arcticus Systems AB, Sweden.
    Mäki-Turja, Jukka
    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.
    From Modeling to Deployment of Component-Based Vehicular Distributed Real-Time Systems2014In: Proceedings, International Conference on Information Technology: ITNG 2014, IEEE , 2014, p. 649-654Conference paper (Refereed)
    Abstract [en]

    We present complete model-and component based approach for the development of vehiculardistributed real-time systems. Within this context, we model and timing analyze these systems using one of the state-of-the-practice modeling and timing analysis techniques that is implemented in the existing industrial model the Rubus Component Model and accompanying tool suite. As a proof of concept, we conduct a case study by developing an intelligent parking assist system which is adistributed real-time application from the vehicular domain. The case study shows various stages during the development such as modeling of software architecture, performing timing analysis, simulation, testing, automatic synthesis of code from the software architecture, deployment, and execution.

  • 237.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nolin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Lundbäck, John
    Arcticus Systems AB, Sweden.
    Gålnander, Mattias
    Arcticus Systems AB, Sweden.
    Lundbäck, Kurt-Lennart
    Arcticus Systems AB, Sweden.
    Demonstrating Model- and Component-based Development of Vehicular Real-time Systems2017In: Open Demo Session of Real-Time Systems located at Real Time Systems Symposium (RTSS) RTSS@Work'17, 2017Conference paper (Refereed)
  • 238.
    Bucchiarone, A.
    et al.
    Fondazione Bruno Kessler, Trento, Italy.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sanctis, M. D.
    Fondazione Bruno Kessler, Trento, Italy.
    Towards a domain specific language for engineering collective adaptive systems2017In: Proceedings - 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Institute of Electrical and Electronics Engineers Inc. , 2017, p. 19-26Conference paper (Refereed)
    Abstract [en]

    Heterogeneous agents that cooperate to accomplish collective tasks constitute Collective Adaptive Systems (CAS). Engineering a CAS not only involves the definition of the individual agents, but also their roles in achieving a collective task and adaptation strategies to counteract to environmental changes. Current solutions for specifying CAS typically tackle the problem at a low level of abstraction (e.g., writing XML files), making this task time-consuming and error-prone. Moreover, such a low level of abstraction hinders the understandability of the specification. Model-Driven Engineering (MDE) proposes to reduce the complexity of development by adopting models as first class artifacts in the process. In this respect, this work proposes a MDE approach to enhance CAS specification. In particular, we introduce a domain-specific language (DSL) made-up of three main views: one devoted to adaptive systems design; one addressing ensembles definition; and one tackling the collective adaptation. These three separate aspects are woven seamlessly by the DSL to constitute a complete CAS design. While the different views allow us to exploit separation-of-concerns to reduce complexity and focus on a specific aspect of the system, facing CAS specification at a higher-level of abstraction permits to use concepts closer to the experts of the involved domains. Moreover, the precise definition of modeling concepts through corresponding meta-models enables correctness-by-construction of the system specification. 

  • 239.
    Bucchiarone, Antonio
    et al.
    Fondazione Bruno Kessler, Trento, Italy.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    De Sanctis, Martina
    Fondazione Bruno Kessler, Trento, Italy.
    CAStlE: A Tool for Collective Adaptive Systems Engineering2017In: Poster FAS*W, 2017, p. 385-386Conference paper (Refereed)
    Abstract [en]

    In this paper we propose CAStlE, a MDE approach to enhance Collective Adaptive System (CAS) specification. In particular, we introduce a domain-specific language (DSL) made-up of three main views: one devoted to adaptive systems design; one addressing ensembles definition; and one tackling the collective adaptation. These three separate aspects are woven seamlessly by the DSL to constitute a complete CAS design. Moreover, each of the defined views conveys the creation of a corresponding model editor, which allows for the three aspects of a CAS to be independently designed by CAStlE.

  • 240.
    Burgin, Mark
    et al.
    Faculty of Philosophy, Pontifical Lateran University, Vatican City.
    Dodig Crnkovic, Gordana
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    From the Closed Classical Algorithmic Universe to an Open World of Algorithmic Constellations2013In: Computing Nature: Turing Centenary Perspective, Springer, 2013, p. 241-253Chapter in book (Other academic)
    Abstract [en]

    In this paper we analyze methodological and philosophical implications of algorithmic aspects of unconventional computation. At first, we describe how the classical algorithmic universe developed and analyze why it became closed in the conventional approach to computation. Then we explain how new models of algorithms turned the classical closed algorithmic universe into the open world of algorithmic constellations, allowing higher flexibility and expressive power, supporting constructivism and creativity in mathematical modeling. As Gödel’s undecidability theorems demonstrate, the closed algorithmic universe restricts essential forms of mathematical cognition. In contrast, the open algorithmic universe, and even more the open world of algorithmic constellations, remove such restrictions and enable new, richer understanding of computation.

  • 241.
    Burgin, Mark
    et al.
    UCLA - University of California, Los Angeles .
    Dodig-Crnkovic, Gordana
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    The Nature of Computation and The Development of Computational Models2013Conference paper (Refereed)
  • 242.
    Bygde, Stefan
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Lisper, Björn
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Holsti, Niklas
    Tidorum Ltd, Helsinki, Finland.
    Improved Precision in Polyhedral Analysis with Wrapping2017In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 133, p. 74-87Article in journal (Other academic)
    Abstract [en]

    Abstract interpretation using convex polyhedra is a common and powerful program analysis technique to discover linear relationships among variables in a program. However, the classical way of performing polyhedral analysis does not model the fact that values typically are stored as xed-size binary strings and usually have wrap-around semantics in the case of over ows. In resource-constrained embedded systems, where 8- or 16-bit processors are used, wrapping behaviour may even be used intentionally to save instructions and execution time. Thus, to analyse such systems accurately and correctly, the wrapping has to be modelled. We present an approach to polyhedral analysis which derives polyhedra that are bounded in all dimensions. Our approach is based on a previously suggested wrapping technique by Simon and King, combined with limited widening, a suitable placement of widening points and size-induced restrictions on unbounded variables. With this method, we can derive fully bounded polyhedra in every step of the analysis. We have implemented our method and Simon and King's method compared them. Our experiments show that for a suite of benchmark programs it gives at least as precise result as Simon and King's method. In some cases we obtain a significantly improved result.

  • 243.
    Cai, Simin
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Modeling Real-time Transactions in UPPAAL2015Report (Other academic)
    Abstract [en]

    During the development of an Real-time Database Management System (RTDBMS) one needs to trade-off between data consistency and timeliness. To achieve a systematic method for such trade-off, we must find a way to model the behaviors and properties of real-time transactions. In this report, we experiment with the modeling of transactions and verification of transaction properties in UPPAAL. We build a model for an exemplary transaction with the optimistic concurrency control mechanisms, and model-check the timeliness property.

  • 244.
    Cai, Simin
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Systematic Design of Data Management for Real-Time Data-Intensive Applications2017Licentiate thesis, comprehensive summary (Other academic)
    Abstract [en]

    Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain the consistency of data, such computations must be both logically correct (producing correct and consistent results) and temporally correct (completing before specified deadlines). One solution to ensure logical and temporal correctness is to model these computations as transactions and manage them using a Real-Time Database Management System (RTDBMS). Ideally, depending on the particular system, the transactions are customized with the desired logical and temporal correctness properties, which are achieved by the customized RTDBMS with appropriate run-time mechanisms. However, developing such a data management solution with provided guarantees is not easy, partly due to inadequate support for systematic analysis during the design. Firstly, designers do not have means to identify the characteristics of the computations, especially data aggregation, and to reason about their implications. Design flaws might not be discovered, and thus they may be propagated to the implementation. Secondly, trade-off analysis of conflicting properties, such as conflicts between transaction isolation and temporal correctness, is mainly performed ad-hoc, which increases the risk of unpredictable behavior.

    In this thesis, we propose a systematic approach to develop transaction-based data management with data aggregation support for real-time systems. Our approach includes the following contributions: (i) a taxonomy of data aggregation, (ii) a process for customizing transaction models and RTDBMS, and (iii) a pattern-based method of modeling transactions in the timed automata framework, which we show how to verify with respect to transaction isolation and temporal correctness. Our proposed taxonomy of data aggregation processes helps in identifying their common and variable characteristics, based on which their implications can be reasoned about. Our proposed process allows designers to derive transaction models with desired properties for the data-related computations from system requirements, and decide the appropriate run-time mechanisms for the customized RTDBMS to achieve the desired properties. To perform systematic trade-off analysis between transaction isolation and temporal correctness specifically, we propose a method to create formal models of transactions with concurrency control, based on which the isolation and temporal correctness properties can be verified by model checking, using the UPPAAL tool. By applying the proposed approach to the development of an industrial demonstrator, we validate the applicability of our approach.

  • 245.
    Cai, Simin
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Gallina, Barbara
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Nyström, Dag
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Seceleanu, Cristina
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation2016In: Proceedings of the 24th International Conference on Real-Time Networks and Systems, Brest, France, 2016Conference paper (Refereed)
    Abstract [en]

    Traditional Concurrency Control (CC) mechanisms ensure absence of undesired interference in transaction-based systems and enforce isolation. However, CC may introduce unpredictable delays that could lead to breached timeliness, which is unwanted for real-time transactions. To avoid deadline misses, some CC algorithms relax isolation in favor of timeliness, whereas others limit possible interleavings by leveraging real-time constraints and preserve isolation. Selecting an appropriate CC algorithm that can guarantee timeliness at an acceptable level of isolation thus becomes an essential concern for system designers. However, trading-off isolation for timeliness is not easy with existing analysis techniques in database and real-time communities. In this paper, we propose to use model checking of a timed automata model of the transaction system, in order to check the traded-off timeliness and isolation. Our solution provides modularization for the basic transactional constituents, which enables flexible modeling and composition of various candidate CC algorithms, and thus reduces the effort of selecting the appropriate CC algorithm.

  • 246.
    Cai, Simin
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gallina, Barbara
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nyström, Dag
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Seceleanu, Cristina
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Customized Real-Time Data Management for Automotive Systems: A Case Study2017In: IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, p. 8397-8404Conference paper (Refereed)
    Abstract [en]

    Real-time DataBase Management Systems (RTDBMS) have been considered as a promising means to manage data for data-centric automotive systems. During the design of an RTDBMS, one must carefully trade off data consistency and timeliness, in order to achieve an acceptable level of both properties. Previously, we have proposed a design process called DAGGERS to facilitate a systematic customization of transaction models and decision on the run-time mechanisms. In this paper, we evaluate the applicability of DAGGERS via an industrially relevant case study that aims to design the transaction management for an on-board diagnostic system, which should guarantee both timeliness and data consistency under concurrent access. To achieve this, we apply the pattern-based approach of DAGGERS to formalize the transactions, and derive the appropriate isolation level and concurrency control algorithm guided by model checking. We show by simulation that the implementation of our designed system satisfies the desired timeliness and derived isolation, and demonstrate that DAGGERS helps to customize desired real-time transaction management prior to implementation.

  • 247.
    Cai, Simin
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gallina, Barbara
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nyström, Dag
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Seceleanu, Cristina
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    DAGGTAX: A Taxonomy of Data Aggregation Processes2017In: Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings, 2017, p. 324-339Conference paper (Refereed)
    Abstract [en]

    Data aggregation processes are essential constituents for data management in modern computer systems, such as decision support systems and Internet of Things (IoT) systems. Due to the heterogeneity and real-time constraints in such systems, designing appropriate data aggregation processes often demands considerable effort. A study on the characteristics of data aggregation processes is then desirable, as it provides a comprehensive view of such processes, potentially facilitating their design, as well as the development of tool support to aid designers. In this paper, we propose a taxonomy called DAGGTAX, which is a feature diagram that models the common and variable characteristics of data aggregation processes, with a special focus on the real-time aspect. The taxonomy can serve as the foundation of a design tool, which we also introduce, enabling designers to build an aggregation process by selecting and composing desired features, and to reason about the feasibility of the design. We apply DAGGTAX on industrial case studies, showing that DAGGTAX not only strengthens the understanding, but also facilitates the model-driven design of data aggregation processes.

  • 248.
    Cai, Simin
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gallina, Barbara
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nyström, Dag
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Seceleanu, Cristina
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    DAGGTAX: A Taxonomy of Data Aggregation Processes2017Report (Other academic)
    Abstract [en]

    Data aggregation processes are essential constituents in many data management applications. Due to their complexity, designing data aggregation processes often demands considerable efforts. A study on the features of data aggregation processes will provide a comprehensive view for the designers and ease the design process. Existing works either propose application-specific aggregation solutions, or focus on particular aspects of aggregation processes such as aggregate functions, hence they do not offer a high-level, generic description. In this paper, we propose a taxonomy of data aggregation processes called DAGGTAX, which builds on the results of an extensive survey within various application domains. Our work focuses on the features of aggregation processes and their implications, especially on the temporal data consistency and the process timeliness. We present our taxonomy as a feature diagram, which is a visual notation with formal semantics. The taxonomy can then serve as the foundation of a design tool that enables designers to build an aggregation process by selecting and composing desired features. Based on the implications of the features, we formulate three design rules that eliminate infeasible feature combinations. We also provide a set of design heuristics that could help designers to decide the appropriate mechanisms for achieving the selected features. 

  • 249.
    Cai, Simin
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gallina, Barbara
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nyström, Dag
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Seceleanu, Cristina
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    DAGGTAX: A taxonomy of data aggregation processes2017In: Lect. Notes Comput. Sci., Springer Verlag , 2017, p. 324-339Conference paper (Refereed)
    Abstract [en]

    Data aggregation processes are essential constituents for data management in modern computer systems, such as decision support systems and Internet of Things (IoT) systems. Due to the heterogeneity and real-time constraints in such systems, designing appropriate data aggregation processes often demands considerable effort. A study on the characteristics of data aggregation processes is then desirable, as it provides a comprehensive view of such processes, potentially facilitating their design, as well as the development of tool support to aid designers. In this paper, we propose a taxonomy called DAGGTAX, which is a feature diagram that models the common and variable characteristics of data aggregation processes, with a special focus on the real-time aspect. The taxonomy can serve as the foundation of a design tool, which we also introduce, enabling designers to build an aggregation process by selecting and composing desired features, and to reason about the feasibility of the design. We apply DAGGTAX on industrial case studies, showing that DAGGTAX not only strengthens the understanding, but also facilitates the model-driven design of data aggregation processes. © 2017, Springer International Publishing AG.

  • 250.
    Cai, Simin
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Gallina, Barbara
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Nyström, Dag
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Seceleanu, Cristina
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards the verification of temporal data consistency in Real-Time Data Management2016In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, 2016, article id Article number 7496422Conference paper (Refereed)
    Abstract [en]

    Many Cyber-Physical Systems (CPSs) require both timeliness of computation and temporal consistency of their data. Therefore, when using real-time databases in a real-time CPS application, the Real-Time Database Management Systems (RTDBMSs) must ensure both transaction timeliness and temporal data consistency. RTDBMSs prevent unwanted interferences of concurrent transactions via concurrency control, which in turn has a significant impact on the timeliness and temporal consistency of data. Therefore it is important to verify, already at early design stages that these properties are not breached by the concurrency control. However, most often such early on guarantees of properties under concurrency control are missing. In this paper we show how to verify transaction timeliness and temporal data consistency using model checking. We model the transaction work units, the data and the concurrency control mechanism as a network of timed automata, and specify the properties in TCTL. The properties are then checked exhaustively and automatically using the UPPAAL model checker. 

2345678 201 - 250 of 1332
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