mdh.sePublikationer
Ändra sökning
Avgränsa sökresultatet
123 1 - 50 av 113
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Alajrami, S.
    et al.
    Newcastle University, Newcastle-upon-Tyne, United Kingdom.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Romanovsky, A.
    Newcastle University, Newcastle-upon-Tyne, United Kingdom.
    EXE-SPEM: Towards cloud-based executable software process models2016Ingår i: MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, 2016, s. 517-526Konferensbidrag (Refereegranskat)
    Abstract [en]

    Executing software processes in the cloud can bring several benefits to software development. In this paper, we discuss the benefits and considerations of cloud-based software processes. EXE-SPEM is our extension of the Software and Systems Process Engineering (SPEM2.0) Meta-model to support creating cloud-based executable software process models. Since SPEM2.0 is a visual modelling language, we introduce an XML notation meta-model and mapping rules from EXE-SPEM to this notation which can be executed in a workflow engine. We demonstrate our approach by modelling an example software process using EXE-SPEM and mapping it to the XML notation. 

  • 2.
    Alajrami, S.
    et al.
    Newcastle University, Newcastle upon Tyne, United Kingdom .
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Sljivo, Irfan
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Romanovsky, A.
    Newcastle University, Newcastle upon Tyne, United Kingdom .
    Isberg, Petter
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Towards cloud-based enactment of safety-related processes2016Ingår i: Lecture Notes in Computer Science, vol. 9922, 2016, s. 309-321Konferensbidrag (Refereegranskat)
    Abstract [en]

    Engineering safety-critical systems is a complex task which involves multiple stakeholders. It requires shared and scalable computation to systematically involve geographically distributed teams. The paper proposes a model-driven cloud-based enactment architecture automating safety-critical processes. This work adapts our previous work on cloud-based software engineering by enriching the architecture with an automatic support for generation of both, product-based safety arguments from failure logic analysis results and process-based arguments from the process model and the enactment data. The approach is demonstrated using a fragment of a process adapted from the aerospace domain. 

  • 3.
    Alajrami, S.
    et al.
    Newcastle University, Newcastle upon Tyne, United Kingdom.
    Romanovsky, A.
    Newcastle University, Newcastle upon Tyne, United Kingdom.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Software development in the Post-PC era: Towards software development as a service2016Ingår i: Lect. Notes Comput. Sci., 2016, s. 662-671Konferensbidrag (Refereegranskat)
    Abstract [en]

    Over the years, software development has evolved to meet the needs of new types of applications and to embrace new technological disruptions. Today, we witness the rise of mobility where the role of the conventional high-end PC is declining. Some refer to this era as the Post- PC era. This technological shift, powered by a key enabling technology, cloud computing, has opened new opportunities for human advancement. Consequently, the evolving landscape of software systems drives the need for new methods for conceiving them. Such methods need to: (a) address the challenges and requirements of this era and (b) embrace the benefits of new technological breakthroughs. In this paper, we list the characteristics of the Post-PC era from the software development perspective and describe two motivating trends of software development processes. Then, we derive a list of requirements for the future software development from the characteristics of the Post-PC era and from the motivating trends. Finally, we propose a reference architecture for cloud-based software process enactment as an enabler for Software Development as a Service. The architecture is the first step addressing the needs that we have identified.

  • 4.
    Alajrami, Sami
    et al.
    Newcastle University, Newcastle upon Tyne, UK.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. IS (Embedded Systems).
    Romanovsky, Alexander
    Newcastle University, Newcastle upon Tyne, UK.
    Enabling GSD Task Allocation via Cloud-based Software Processes2017Ingår i: Software Engineering Research, Management and Applications SERA-2017, Springer, 2017, s. 179-192Konferensbidrag (Refereegranskat)
    Abstract [en]

    Allocating tasks to distributed sites in Global Software Development (GSD) projects is often done unsystematically and based on the personal experi- ence of project managers. Wrong allocation decisions increase the project’s risks as tasks have dependencies that are inherited by the distributed sites. Decision sup- port can help make the task allocation a more informed and systematic process. The challenges in allocating tasks to distributed sites exist because of three dis- tance dimensions between sites (geographical, temporal and cultural). An informed task allocation decision needs to consider these distances. Therefore, in this paper, we propose to integrate and semi-automate the calculation of an existing Global Distance Metric (GDM) into an architecture that supports executing cloud-based software processes. We analyze the potential of integrating the GDM into this archi- tecture and identify the needed extensions to the architecture.

  • 5.
    Alajrami, Sami
    et al.
    Newcastle University, UK.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Romanovsky, Alexander
    Newcastle University, UK.
    Enabling GSD Task Allocation via Cloud-based Software Processes2017Ingår i: International Journal of Networked and Distributed Computing, ISSN 2211-7938, Vol. 5, nr 4, s. 221-232Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Allocating tasks to distributed sites in Global Software Development (GSD) projects is often done unsystematically and based on the personal experience of project managers. Wrong allocation decisions increase the project’s risks as tasks have dependencies that are inherited by the distributed sites. Decision support can help make the task allocation a more informed and systematic process. The challenges in allocating tasks to distributed sites exist because of three distance dimensions between sites (geographical, temporal and cultural). An informed task allocation decision needs to consider these distances. Therefore, in this paper, we propose to integrate and semi-automate the calculation of an existing Global Distance Metric (GDM) into an architecture that supports executing cloud-based software processes. We analyze the potential of integrating the GDM into this architecture and identify the needed extensions to the architecture.

  • 6.
    Alajrami, Sami
    et al.
    Newcastle University, UK.
    Romanovsky, Alexander
    Newcastle University, UK.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Cost-Aware Scheduling of Software Processes Execution in the Cloud2018Ingår i: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1, 2018, s. 203-212Konferensbidrag (Refereegranskat)
    Abstract [en]

    Using cloud computing to execute software processes brings several benefits to software development. In a previous work, we proposed a reference architecture, which treats software processes as workflows and uses cloud computing to execute them. Scheduling the execution in the cloud impacts the execution cost and the cloud resources utilization. Existing workflow scheduling algorithms target business and scientific (data-driven) workflows, but not software processes workflows. In this paper, we adapt three scheduling algorithms for our architecture and propose a fourth one; the Proportional Adaptive Task Schedule algorithm. We evaluate the algorithms in terms of their execution cost, makespan and cloud resource utilization. Our results show that our proposed algorithm saves between 19.74% and 45.78% of the execution cost and provides the best resource (virtual machine) utilization compared to the adapted algorithms while providing the second best makespan. 

  • 7.
    Alemzadeh, H.
    et al.
    University of Virginia, United States.
    Barbosa, R.
    University of Coimbra, Portugal.
    Brancati, F.
    Resil Tech S.r.l, Italy.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Lawford, M.
    McMaster University, Canada.
    Natella, R.
    Federico II University of Naples, Italy.
    Netkachova, K.
    City University of London, United Kingdom.
    Pietrantuono, R.
    Federico II University of Naples, Italy.
    Silva, N.
    CRITICAL Software S.A, Portugal.
    Message from the WoSoCer workshop organizers2017Ingår i: Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017, s. xxxviii-, artikel-id 8109232Artikel i tidskrift (Refereegranskat)
  • 8.
    Alemzadeh, H.
    et al.
    University of Virginia, Virginia, United States.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Natella, R.
    Federico II University of Naples, Naples, Italy.
    Netkachova, K.
    University of London, London, United Kingdom.
    Pietrantuono, R.
    Federico II University of Naples, Naples, Italy.
    Silva, N.
    CRITICAL Software S.A., Portugal.
    Message from the WoSoCer 2018 Workshop Chairs2018Ingår i: Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018, Institute of Electrical and Electronics Engineers Inc. , 2018, artikel-id 8539151Konferensbidrag (Övrigt vetenskapligt)
  • 9.
    Ayala, Inmaculada
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Towards Tool-based Security-informed Safety Oriented Process Line Engineering2016Ingår i: 1st International workshop on Interplay of Security, Safety and System/Software Architecture ISSA-2016, 2016, artikel-id 38Konferensbidrag (Refereegranskat)
    Abstract [en]

    For the purpose of certification, manufactures of nowadays highly connected safety-critical systems are expected to en- gineer their systems according to well-defined engineering processes in compliance with safety and security standards. Certification is an extremely expensive and time-consuming process. Since safety and security standards exhibit a certain degree of commonality, certification-related artifacts (e.g., process models) should to some extent be reusable. To en- able systematic reuse and customization of process infor- mation, in this paper we further develop security-informed safety-oriented process line engineering (i.e., engineering of sets of processes including security and safety concerns). More specifically, first we consider three tool-supported ap- proaches for process-related commonality and variability man- agement and we apply them to limited but meaningful por- tions of safety and security standards within airworthiness. Then, we discuss our findings. Finally, we draw our conclu- sions and sketch future work.

  • 10.
    Bramberger, Robert
    et al.
    Virtual Vehicle Research GmbH, Graz, Austria.
    Martin, Helmut
    Virtual Vehicle Research GmbH, Graz, Austria.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Schmittner, Christoph
    AIT Austrian Institute of Technology GmbH, Vienna, Austria.
    Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems2020Ingår i: ACM SIGAda Ada Letters, ISSN 1094-3641, E-ISSN 1557-9476, Vol. 39, nr 2, s. 41-48Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Nowadays systems are becoming more and more connected. Consequently, the co-engineering of (cyber)security and safety life cycles becomes paramount. Currently, no standard provides a structured co-engineering process to facilitate the communication between safety and security engineers. In this paper, we propose a process for co- engineering safety and security by the explicit systematization and management of commonalities and variabilities, implicitly stated in the requirements of the different standards. Our process treats the safety and security life cycles as members of a security-informed safety-oriented process line and so it forces safety and security engineers to come together and brainstorm on what might be considered a commonality and what might be considered a variability. We illustrate the usage of our process by systematizing commonalities and variabilities at risk analysis phase in the context of ISO 26262 and SAE J3061. We then draw lessons learnt. Finally, we sketch some directions for future work.

  • 11.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. IS (Embedded Systems).
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. IS (Embedded Systems).
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. IS (Embedded Systems).
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. IS (Embedded Systems).
    A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation2016Ingår i: Proceedings of the 24th International Conference on Real-Time Networks and Systems, Brest, France, 2016Konferensbidrag (Refereegranskat)
    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.

  • 12.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. IS (Embedded Systems).
    Customized Real-Time Data Management for Automotive Systems: A Case Study2017Ingår i: IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, s. 8397-8404Konferensbidrag (Refereegranskat)
    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.

  • 13.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    DAGGTAX: A Taxonomy of Data Aggregation Processes2017Rapport (Övrigt vetenskapligt)
    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. 

    Ladda ner fulltext (pdf)
    fulltext
  • 14.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    DAGGTAX: A taxonomy of data aggregation processes2017Ingår i: Lecture Notes in Computer Science, vol. 10563, Springer Verlag , 2017, s. 324-339Konferensbidrag (Refereegranskat)
    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.

  • 15.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Data Aggregation Processes: A Survey, A Taxonomy, and Design Guidelines2019Ingår i: Computing, ISSN 0010-485X, E-ISSN 1436-5057, Vol. 101, nr 10, s. 1397-1429Artikel i tidskrift (Refereegranskat)
    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, many with timing constraints. Understanding the common and variable features of data aggregation processes, especially their implications to the timerelated properties, is key to improving the quality of the designed system and reduce design effort. In this paper, we present a survey of data aggregation processes in a variety of application domains from literature.We investigate their common and variable features, which serves as the basis of our previously proposed taxonomy called DAGGTAX. By studying the implications of the DAGGTAX features, we formulate a set of constraints to be satisfied during design, which helps to check the correctness of the specifications and reduce the design space. We also provide a set of design heuristics that could help designers to decide the appropriate mechanisms for achieving the selected features. We apply DAGGTAX on industrial case studies, showing that DAGGTAX not only strengthens the understanding, but also serves as the foundation of a design tool which facilitates the model-driven design of data aggregation processes.

  • 16.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems2018Ingår i: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2018, 2018, s. 355-374Konferensbidrag (Refereegranskat)
    Abstract [en]

    Concurrency control faults may lead to unwanted interleavings, and breach data consistency in distributed transaction systems. However, due to the unpredictable delays between sites, detecting concurrency control faults in distributed transaction systems is difficult. In this paper, we propose a methodology, relying on model-based testing and mutation testing, for designing test cases in order to detect such faults. The generated test inputs are designated delays between distributed operations, while the outputs are the occurrence of unwanted interleavings that are consequences of the concurrency control faults. We mutate the distributed transaction specification with common concurrency control faults, and model them as UPPAAL timed automata, in which designated delays are encoded as stopwatches. Test cases are generated via reachability analysis using UPPAAL Model Checker, and are selected to form an effective test suite. Our methodology can reduce redundant test cases, and find the appropriate delays to detect concurrency control faults effectively.

  • 17.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Specification and Automated Verification of Atomic Concurrent Real-Time Transactions2019Manuskript (preprint) (Övrigt vetenskapligt)
  • 18.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Specification and Formal Verification of Atomic Concurrent Real-Time Transactions2018Ingår i: 23rd IEEE Pacific Rim International Symposium on Dependable Computing PRDC 2018, 2018Konferensbidrag (Refereegranskat)
    Abstract [en]

    Although atomicity, isolation and temporal correctness are crucial to the dependability of many real-time database-centric systems, the selected assurance mechanism for one property may breach another. Trading off these properties requires to specify and analyze their dependencies, together with the selected supporting mechanisms (abort recovery, concurrency control, and scheduling), which is still insufficiently supported. In this paper, we propose a UML profile, called UTRAN, for specifying atomic concurrent real-time transactions, with explicit support for all three properties and their supporting mechanisms. We also propose a pattern-based modeling framework, called UPPCART, to formalize the transactions and the mechanisms specified in UTRAN, as UPPAAL timed automata. Various mechanisms can be modeled flexibly using our reusable patterns, after which the desired properties can be verified by the UPPAAL model checker. Our techniques facilitate systematic analysis of atomicity, isolation and temporal correctness trade-offs with guarantee, thus contributing to a dependable real-time database system.

  • 19.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Statistical Model Checking for Real-Time Database Management Systems: A Case Study2019Ingår i: The 24th IEEE Conference on Emerging Technologies and Factory Automation ETFA2019, 2019, s. 306-313Konferensbidrag (Refereegranskat)
    Abstract [en]

    Many industrial control systems manage critical data using Database Management Systems (DBMS). The correctness of transactions, especially their atomicity, isolation and temporal correctness, is essential for the dependability of the entire system. Existing methods and techniques, however, either lack the ability to analyze the interplay of these properties, or do not scale well for systems with large amounts of transactions and data, and complex transaction management mechanisms. In this paper, we propose to analyze large scale real-time database systems using statistical model checking. We propose a pattern-based framework, by extending our previous work, to model the real-time DBMS as a network of stochastic timed automata, which can be analyzed by UPPAAL Statistical Model Checker. We present an industrial case study, in which we design a collision avoidance system for multiple autonomous construction vehicles, via concurrency control of a real-time DBMS. The desired properties of the designed system are analyzed using our proposed framework.

  • 20.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Towards the verification of temporal data consistency in Real-Time Data Management2016Ingår i: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, 2016, artikel-id Article number 7496422Konferensbidrag (Refereegranskat)
    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. 

  • 21.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Trading-off Data Consistency for Timeliness in Real-Time Database Systems2015Ingår i: 27th Euromicro Conference on Real-Time Systems ECRTS'15, 2015, s. 13-16Konferensbidrag (Refereegranskat)
    Abstract [en]

    In order to guarantee transaction timeliness, Realtime Database Management Systems (RTDBMSs) often relax data consistency by relaxing the ACID transaction properties. Such relaxation varies depending on the application and thus different transaction management mechanisms have to be decided for developing a tailored RTDBMS. However, current RTDBMSs development does not include systematic verification of timeliness and desired ACID properties. Consequently, the implemented transaction management mechanisms may breach timeliness of transactions. In this paper, we propose a process called DAGGERS for developing a tailored RTDBMS that guarantees timeliness and desired data consistency for real-time systems by employing model-checking techniques during the process. Based on the characteristics of the desired data manipulations, transaction models are designed and then formally verified iteratively together with selected run-time mechanisms, in order to achieve the desired/necessary trade-offs between timeliness and data consistency. The outcome of DAGGERS is thus a tailored transaction management with guaranteed appropriate trade-offs, as well as the model-checking based worst-case execution times and blocking times of transactions under these mechanisms and assumptions of the hardware architecture.

  • 22.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Larsson, A.
    Ericsson AB, Stockholm, Sweden.
    Tool-supported design of data aggregation processes in cloud monitoring systems2019Ingår i: Journal of Ambient Intelligence and Humanized Computing, ISSN 1868-5137, E-ISSN 1868-5145, Vol. 10, nr 7, s. 2519-2535Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Efficient monitoring of a cloud system involves multiple aggregation processes and large amounts of data with various and interdependent requirements. A thorough understanding and analysis of the characteristics of data aggregation processes can help to improve the software quality and reduce development cost. In this paper, we propose a systematic approach for designing data aggregation processes in cloud monitoring systems. Our approach applies a feature-oriented taxonomy called DAGGTAX (Data AGGregation TAXonomy) to systematically specify the features of the designed system, and SAT-based analysis to check the consistency of the specifications. Following our approach, designers first specify the data aggregation processes by selecting and composing the features from DAGGTAX. These specified features, as well as design constraints, are then formalized as propositional formulas, whose consistency is checked by the Z3 SAT solver. To support our approach, we propose a design tool called SAFARE (SAt-based Feature-oriented dAta aggREgation design), which implements DAGGTAX-based specification of data aggregation processes and design constraints, and integrates the state-of-the-art solver Z3 for automated analysis. We also propose a set of general design constraints, which are integrated by default in SAFARE. The effectiveness of our approach is demonstrated via a case study provided by industry, which aims to design a cloud monitoring system for video streaming. The case study shows that DAGGTAX and SAFARE can help designers to identify reusable features, eliminate infeasible design decisions, and derive crucial system parameters.

  • 23.
    Cai, Simin
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyström, Dag
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Larsson, Alf
    Ericsson AB, Stockholm, Sweden.
    Design of Cloud Monitoring Systems via DAGGTAX: A Case Study2017Ingår i: Procedia Computer Science, ISSN 1877-0509, E-ISSN 1877-0509, Vol. 109, s. 424-431Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Efficient auto-scaling of cloud resources relies on the monitoring of the cloud, which involves multiple aggregation processes and large amounts of data with various and interdependent requirements. A systematic way of describing the data together with the possible aggregations is beneficial for designers to reason about the properties of these aspects as well as their implications on the design, thus improving quality and lowering development costs. In this paper, we propose to apply DAGGTAX, a feature-oriented taxonomy for organizing common and variable data and aggregation process properties, to the design of cloud monitoring systems. We demonstrate the effectiveness of DAGGTAX via a case study provided by industry, which aims to design a cloud monitoring system that serves auto-scaling for a video streaming system. We design the cloud monitoring system by selecting and composing DAGGTAX features, and reason about the feasibility of the selected features. The case study shows that the application of DAGGTAX can help designers to identify reusable features, analyze trade-offs between selected features, and derive crucial system parameters.

  • 24.
    Capilla, R.
    et al.
    Universidad Rey Juan Carlos, Madrid, Spain.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Cetina, C.
    Universidad San Jorge, Zaragoza, Spain.
    Foreword2018Ingår i: Lect. Notes Comput. Sci., Springer Verlag , 2018Konferensbidrag (Refereegranskat)
  • 25.
    Capilla, R.
    et al.
    Rey Juan Carlos University, Madrid, Spain.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Cetina Englada, C.
    Universidad San Jorge, Zaragoza, Spain.
    The new era of software reuse2019Ingår i: Journal of Software: Evolution and Process, ISSN 2047-7473, E-ISSN 2047-7481, Vol. 31, nr 8, artikel-id e2221Artikel i tidskrift (Refereegranskat)
  • 26.
    Capilla, Rafael
    et al.
    King Juan Carlos University (URJC), Spain.
    Gallina, BarbaraMälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.Cetina, CarlosSan Jorge University (USJ), Spain.
    New Opportunities for Software Reuse2018Proceedings (redaktörskap) (Refereegranskat)
    Abstract [en]

    This volume contains the proceedings of the International Conference on Software Reuse (ICSR 18) held during May 21–23, 2018, in Madrid, Spain. The International Conference on Software Reuse is the premier international event in the software reuse community. The main goal of ICSR is to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The conference featured two keynotes by John Favaro, Intecs SpA (Italy) and Alberto Abella from MELODA (Spain). We received 29 submissions (excluding withdrawn submissions). Each submission was reviewed by three Program Committee members. The Program Committee decided to accept 11 papers (nine full papers and two short ones), resulting in an acceptance rate of 37.9%. The program also included one full-day tutorial, one invited talk, and a panel about the future of software reuse. This conference was a collaborative work that could only be realized through many dedicated efforts. We would like to thank all the colleagues who made possible the success of ICSR 2018: Barbara Gallina, Carlos Cetina, Mathieu Acher, Tewfik Ziadi, Roberto E. López Herrejón, Gregorio Robles, Jens Knodel, Carlos Carrillo, and Alejandro Valdezate. We also thank the ICSR Steering Committee for the approval to organize this edition in Madrid. Last but not least, we would like to sincerely thank all authors who submitted papers to the conference for their contributions and interest in ICSR 2018. We also thank the members of the Program Committee and the additional reviewers for their accurate reviews as well as their participation in the discussions of the submissions. Finally, we thank Danilo Beuche for his tutorial and the members that participated as panelists including the support from people of The Reuse Company (Spain).

  • 27.
    Capilla, Rafael
    et al.
    Universidad Rey Juan Carlos, Mostoles, Spain.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Cetina, Carlos
    Universidad San Jorge, Zaragoza, Spain.
    Favaro, John
    Intecs Solutions, Pisa, Italy.
    Opportunities for Software Reuse in an Uncertain World: From Past to Emerging Trends2019Ingår i: Journal of Software: Evolution and Process, ISSN 2047-7473, E-ISSN 2047-7481, Vol. 31, nr 8, artikel-id e2217Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Much has been investigated about software reuse since the software crisis. The development of software reuse methods, implementation techniques, and cost models has resulted in a significant amount of research over years. Nevertheless, the increasing adoption of reuse techniques, many of them subsumed under higher level software engineering processes, and advanced programming techniques that ease the way to reuse software assets, have hidden somehow in the recent years new research trends on the practice of reuse and caused the disappearance of several reuse conferences. Also, new forms of reuse like open data and feature models have brought new opportunities for reuse beyond the traditional software components. From past to present, we summarize in this research the recent history of software reuse, and we report new research areas and forms of reuse according to current needs in industry and application domains, as well as promising research trends for the upcoming years.

  • 28.
    Castellanos Ardila, Julieth Patricia
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 262622018Ingår i: CEUR Workshop Proceedings, Volume 2049, 2018, s. 65-72Konferensbidrag (Refereegranskat)
    Abstract [en]

    ISO 26262 demands a confirmation review of the safety plan, which includes the compliance checking of planned processes against safety requirements. Formal Contract Logic (FCL), a logic-based language stemming from business compliance, provides means to formalize normative requirements enabling automatic compliance checking. However, formalizing safety requirements in FCL requires skills, which cannot be taken for granted. In this paper, we provide a set of ISO 26262-specific FCL compliance patterns to facilitate rules formalization. First, we identify and define the patterns, based on Dwyer' et al.'s specification patterns style. Then, we instantiate the patterns to illustrate their applicability. Finally, we sketch conclusions and future work.

  • 29.
    Castellanos Ardila, Julieth Patricia
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards2017Ingår i: The 7th IEEE International Workshop on Software Certification WoSoCer 2017, 2017, s. 317-324Konferensbidrag (Refereegranskat)
    Abstract [en]

    The growing connectivity of the systems that we rely on e.g. transportation vehicles is pushing towards the introduction of new standards aimed at providing a baseline to address cybersecurity besides safety. If the interplay of the two normative spaces is not mastered, compliance management might become more time consuming and costly, preventing engineers from dedicating their energies to system engineering. In this paper, we build on top of previous work aimed at increasing efficiency and confidence in compliance management. More specifically, we contribute to building a terminological framework needed to enable the systematization of commonalities and variabilities within ISO 26262 and SAE J3061. Then, we focus our attention on the requirements for software design and implementation and we use defeasible logic to prove compliance. Based on the compliance checking results, we reveal reuse opportunities. Finally, we draw our conclusions and sketch future research directions.

  • 30.
    Castellanos Ardila, Julieth Patricia
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. IS (Embedded Systems).
    Towards Increased Efficiency and Confidence in Process Compliance2017Ingår i: 24th European & Asian Systems, Software & Service Process Improvement & Innovation EuroAsiaSPI2 '17, 2017, s. 162-174Konferensbidrag (Refereegranskat)
    Abstract [en]

    Nowadays, the engineering of (software) systems has to comply with di erent standards, which often exhibit common requirements or at least a signi cant potential for synergy. Compliance management is a delicate, time-consuming, and costly activity, which would bene- t from increased con dence, automation, and systematic reuse. In this paper, we introduce a new approach, called SoPLE&Logic-basedCM. SoPLE&Logic-basedCM combines (safety-oriented) process line engineering with defeasible logic-based approaches for formal compliance checking. As a result of this combination, SoPLE&Logic-basedCM enables automation of compliance checking and systematic reuse of process elements as well as compliance proofs. To illustrate SoPLE&Logic-basedCM, we apply it to the automotive domain and we draw our lessons learnt.

  • 31.
    Castellanos Ardila, Julieth Patricia
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Governatori, Guido
    Data61, CSIRO, Australia.
    Lessons Learned while formalizing ISO 26262 for Compliance Checking2018Ingår i: Proceedings of the 2nd Workshop on Technologies for Regulatory Compliance (TeReCom), 2018, s. 5-16Konferensbidrag (Refereegranskat)
    Abstract [en]

    A confirmation review of the safety plan is required during compliance assessment with ISO 26262. Its production could be facilitated by creating a specification of the standard’s requirements in FCL (Formal Contract Logic), which is a language that can be used to automatically checking compliance. However, we have learned, via previous experiences, that interpreting ISO 26262 requirements and specifying them in FCL is complex. Thus, we perform a formalization-oriented pre-processing of ISO 26262 to find effective ways to proceed with this task. In this paper, we present the lessons learned from this pre-processing which includes the identification of the essential normative parts to be formalized, the identification of SCP (Safety Compliance Patterns) and its subsequent documentation as templates, and the definition of a methodological guideline to facilitate the formalization of normative clauses. Finally, we illustrate the defined methodology by formalizing ISO 26262 part 3 and discuss our findings.

    Ladda ner fulltext (pdf)
    fulltext
  • 32.
    Castellanos Ardila, Julieth Patricia
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    UL Muram, Faiz
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Enabling Compliance Checking against Safety Standards from SPEM 2.0 Process Models2018Ingår i: The Euromicro Conference on Software Engineering and Advanced Applications SEAA 2018, 2018Konferensbidrag (Refereegranskat)
    Abstract [en]

    Compliance with process-based safety standards may imply the provision of a safety plan and its corresponding compliance justification. The provision of this justification is time-consuming since it requires that the process engineer checks the fulfillment of hundred of requirements by taking into account the evidence provided by the process entities. Available methodologies and their implemented tools can be used to automate this checking and provide a compliance report that can be part of the justification to be scrutinized by the safety auditor. In this paper, we explain our compliance checking vision for supporting the process engineer, in which the interaction between SPEM 2.0 (Software & Systems Process Engineering Metamodel) and Regorous (a tool-supported methodology for compliance checking) is established. Then, we focus on SPEM 2.0 to identify mechanisms to provide the minimal set of elements required to be processed by Regorous and describe how to implement them in EPF Composer. We also illustrate these mechanisms by modeling a simple example from ISO 26262 and show how a compliance report can be used to trace unfulfilled requirements.

  • 33.
    Castellanos Ardila, Julieth Patricia
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    UL Muram, Faiz
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Transforming SPEM 2.0-compatible process models into models checkable for compliance2018Ingår i: Communications in Computer and Information Science, Springer Verlag , 2018, Vol. 918, s. 233-247Konferensbidrag (Refereegranskat)
    Abstract [en]

    Manual compliance with process-based standards is time-consuming and prone-to-error. No ready-to-use solution is currently available for increasing efficiency and confidence. In our previous work, we have presented our automated compliance checking vision to support the process engineer’s work. This vision includes the creation of a process model, given by using a SPEM 2.0 (Systems & Software Process Engineering Metamodel)-reference implementation, to be checked by Regorous, a compliance checker used in the business context. In this paper, we move a step further for the concretization of our vision by defining the transformation, necessary to automatically generate the models required by Regorous. Then, we apply our transformation to a small portion of the design phase recommended in the rail sector. Finally, we discuss our findings, and present conclusions and future work. 

  • 34.
    Cârlan, C.
    et al.
    fortiss GmbH, Munich, Germany.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Kacianka, S.
    Technische Universität München, Garching, Germany.
    Breu, R.
    Institut für Informatik, Innsbruck, Austria.
    Arguing on software-level verification techniques appropriateness2017Ingår i: Lect. Notes Comput. Sci., Springer Verlag , 2017, s. 39-54Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper, we investigate the pondered selection of innovative software verification technology in the safety-critical domain and its implications. Verification tools perform analyses, testing or simulation activities. The compliance of the techniques implemented by these tools to fulfill standard-mandated objectives (i.e., to be means of compliance in the context of DO-178C and related supplements) should be explained to the certification body. It is thereby difficult for practitioners to use novel techniques, without a systematic method for arguing their appropriateness. Thus, we offer a method for arguing the appropriate application of a certain verification technique (potentially in combination with other techniques) to produce the evidence needed to satisfy certification objectives regarding fault detection and mitigation in a realistic avionics application via safety cases. We use this method for the choice of an appropriate compiler to support the development of a drone.

  • 35.
    Dardar, Raghad
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Johnsen, Andreas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Lundqvist, Kristina
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Nyberg, Mattias
    Scania AB, Södertälje, Sweden.
    Industrial Experiences of Building a Safety Case in Compliance with ISO 262622012Ingår i: 23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2012), 2012, s. 349-354Konferensbidrag (Refereegranskat)
    Abstract [en]

    The ISO 26262 functional safety standard provides appropriate development processes, requirements and safety integrity levels specific for the automotive domain. One crucial requirement consists of the creation of a safety case, a structured argument, which inter-relates evidence and claims, needed to show that safety-critical systems are acceptably safe. The standard is currently not mandatory to be applied to safety critical systems installed in heavy trucks; however, this is likely to be changed by 2016. This paper describes the experience gathered by applying the standard to the Fuel Level Estimation and Display System, a subsystem that together with other subsystems plays a significant role in terms of global system safety for heavy trucks manufactured by Scania. More specifically, exploratory and laborious work related to the creation of a safety case in compliance with ISO 26262 in an inexperienced industrial setting is described, and the paper ends with presenting some lessons learned together with guidelines to facilitate the adoption of ISO 26262.

  • 36.
    de la Vara, J. L.
    et al.
    University of Castilla-La Mancha, Albacete, Spain.
    Parra, E.
    Carlos III University of Madrid, Leganes, Spain.
    Ruiz, A.
    Tecnalia Research and Innovation, Derio, Spain.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems2019Ingår i: Lecture Notes in Computer Science, vol. 11915, Springer , 2019, s. 626-632Konferensbidrag (Refereegranskat)
    Abstract [en]

    Most safety-critical systems must undergo assurance and certification processes. The associated activities can be complex and labour-intensive, thus practitioners need suitable means to execute them. The activities are further becoming more challenging as a result of the evolution of the systems towards cyber-physical ones, as these systems have new assurance and certification needs. The AMASS project (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) tackled these issues by creating and consolidating the de-facto European-wide open tool platform, ecosystem, and self-sustainable community for assurance and certification of cyber-physical systems. The project defined a novel holistic approach for architecture-driven assurance, multi-concern assurance, seamless interoperability, and cross- and intra-domain reuse of assurance assets. AMASS results were applied in 11 industrial case studies to demonstrate the reduction of effort in assurance and certification, the reduction of (re)certification cost, the reduction of assurance and certification risks, and the increase in technology harmonisation and interoperability. 

  • 37.
    De La Vara, J. L.
    et al.
    University of Castilla-La Mancha, Albacete, Spain.
    Parra, E.
    Carlos III University of Madrid, Leganes, Spain.
    Ruiz, A.
    Tecnalia Research and Innovation, Derio, Spain.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    The AMASS Tool Platform: An innovative solution for assurance and certification of cyber-physical systems2020Ingår i: CEUR Workshop Proceedings, 2584, CEUR-WS , 2020, Vol. 2584Konferensbidrag (Refereegranskat)
    Abstract [en]

    Cyber-physical systems are usually subject to assurance and certifica- tion processes, including thorough requirements engineering tasks, to ensure that they are acceptably dependable. The underlying activities can be complex and labour-intensive, thus practitioners need tools that facilitate them. We present the AMASS Tool Platform as an example of these tools. This Platform is an open source solution that supports the main activities for assurance and certification. It also provides advanced features such as argument fragment composition and automated assurance evidence generation and collection. In addition, we present the main insights gained from tool usage. Among them, practitioners expect improvement in relation to usability, performance, and ease of configuration. Videos showing tool usage are available online, including general usage scenarios.

  • 38.
    de Oliveira, André Luiz
    et al.
    Federal University of Juiz de for A, Brazil.
    Paiva Bressan, Lucas
    Federal University of Juiz de for A, Brazil.
    Montecchi, Leonardo
    University of Campinas, Brazil.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence2018Ingår i: 14th European Dependable Computing Conference EDCC-2018, 2018Konferensbidrag (Refereegranskat)
  • 39.
    Forsberg, Kristina
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Saab AB, Sweden.
    Mårbring Isaksson, Eva
    Saab AB, Sweden.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Lundqvist, Kristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Penna, Achille
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Elaboration of Safety Requirements2013Ingår i: AIAA/IEEE Digital Avionics Systems Conference - Proceedings2013, 2013, s. 7C21-7C29Konferensbidrag (Refereegranskat)
    Abstract [en]

    According to the aircraft standard ARP4754A, requirements should be carefully traced and validated. A systematic methodology for safety requirements elaboration (refinement/decomposition as well as allocation management) is lacking. To overcome this lack, an ARP-aligned and DOORS implementable approach called RAP (Requirements Allocation Process) is proposed. RAP offers a textual as well as graphical means for managing safety requirements. Besides supporting requirements decomposition and allocation, RAP also supports design decisions. The usefulness of RAP is illustrated by an example, applying the approach to a High Lift System.

  • 40.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    A model-driven safety certification method for process compliance2014Ingår i: Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014, 2014, s. 204-209Konferensbidrag (Refereegranskat)
    Abstract [en]

    A safety case is a contextualized structured argument constituted of process and product-based sub-arguments to show that a system is acceptably safe. The creation of a safety case is an extremely time-consuming and costly activity needed for certification purposes. To reduce time and cost, reuse as well as automatic generation possibilities represent urgent research directions. In this paper, we focus on safety processes mandated by prescriptive standards and we identify process-related structures from which process-based arguments (those aimed at showing that a required development process has been applied according to the standard) can be generated and more easily reused. Then, we propose a model-driven safety certification method to derive those arguments as goal structures given in Goal Structuring Notation from process models given in compliance with Software Process Engineering Meta-model 2.0. The method is illustrated by generating process-based arguments in the context of ISO 26262.

  • 41.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    An Education-oriented ISO 26262 Interpretation Combined with Constructive Alignment2015Ingår i: CEUR Workshop Proceedings: 1st International Workshop on Software Process Education, Training and Professionalism / [ed] Ross M., O'Connor R.V. ,Mitasiunas A., 2015, Vol. 1368, s. 41-48Konferensbidrag (Refereegranskat)
    Abstract [en]

    Safety standards (e.g., ISO 26262) define safety life-cycles to be adopted for the development of safety-critical systems. Professionals (i.e., safety engineers, safety managers, and, more broadly safety cultureaware personnel) who are responsible of the development of such systems can be, in turn, considered as safety-critical systems. Coursemodules aimed at forming such professionals are critical. Given the criticality of such modules, the intended learning outcomes, before being constructively aligned [Biggs07] with teaching / learning / examination activities, should be derived by applying an education-oriented risk-driven process. The typical “what if” questions aimed at brainstorming on what if something goes wrong become essential to establish the expected stringency related to the knowledge and skills that personnel involved in the development of safety-critical systems should have. ISO 26262 defines a risk-driven safety life-cycle for developing safety-critical systems. In this paper, we give an educationoriented ISO 26262 interpretation and then we combine it with constructive alignment principles and we introduce SCA, Safetycritical Constructive Alignment, a new process to design Master’s level safety-critical courses or modules. To illustrate SCA and its potential effectiveness, we then apply it to design a specific module.

  • 42.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Quantitative Evaluation of Tailoring within SPICE-compliant Security-informed Safety-oriented Process LinesIngår i: Journal of Software: Evolution and Process, ISSN 2047-7473, E-ISSN 2047-7481Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In the context of SPICE‐compliant and (security‐informed) safety processes, efficient process tailoring is necessary due to the increasing proliferation of requirements, which, if not systematised, may become an unmanageable cognitive overload leading to process degradation instead of improvement. Recently, security‐informed safety‐oriented process line engineering (SiSoPLE) has been proposed as a sound solution to systematise common and variable process elements in the context of security‐informed safety‐oriented processes described within security as well as safety‐related standards. SiSoPLE represents an extension of safety‐oriented process line engineering (SoPLE). The gain of the application of SoPLE in terms of efficient tailoring via reuse was measured in a previous work, where the GQM+ Strategies model, an extension of the goal/question/metric (GQM) paradigm, was adopted to develop a measurement model for achieving quantitative evidence. In this paper, we develop further our previously proposed measurement model to achieve quantitative evidence regarding the benefits of using process line engineering extended to SPICE‐compliant security‐informed safety processes. We then apply our extended GQM+ Strategies model on a SPICE for space‐compliant SiSoPL to illustrate and assess its usefulness. Finally, we discuss our findings and provide our perspectives on quantitative evaluation of tailoring in the context of critical‐systems engineering.

  • 43.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Safety assurance and certification: Current practices, challenges, and brainstorming on ways forward2019Ingår i: Proceedings: 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019October 2019, Article number 8990210, Page xlii, Institute of Electrical and Electronics Engineers Inc. , 2019, artikel-id 8990210Konferensbidrag (Refereegranskat)
  • 44.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Towards Enabling Reuse in the Context of Safety-critical Product Lines2015Ingår i: Proceedings of the Fifth International Workshop on Product LinE Approaches in Software Engineering, 2015, s. 15-18Konferensbidrag (Refereegranskat)
    Abstract [en]

    In the context of safety-critical product lines, industries have to face an urgent challenge: reduction of time and cost for the creation of a safety case. A safety case is a contextualized structured argument constituted of process and product-based sub-arguments to show that a system is acceptably safe. Its creation is an extremely time-consuming and costly activity. To reduce time and cost, reuse capabilities are being investigated from different perspectives however currently no satisfying approach is available. In this paper, we propose a new methodological framework called Anti-Sisyphus. Anti-Sisyphus is aimed at enabling reuse by combining process lines, product lines and safety case lines. The systematization of what varies and what remains in common with respect to process as well as product elements in turns enables the systematization of what varies and remains in common in terms of process-based as well as product-based arguments within a safety case line. Anti-Sisyphus thus has the potential to enable a 3D reuse.

  • 45.
    Gallina, Barbara
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Andrews, Anneliese
    Univ Denver, Denver, CO USA..
    Deriving Verification-related Means of Compliance for a Model-based Testing Process2016Ingår i: 2016 IEEE/AIAA 35TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2016, artikel-id 7778046Konferensbidrag (Refereegranskat)
    Abstract [en]

    DO-331 is the supplement of DO-178C for modelbased development. DO-331 is an objective-based guidance, which defines a set of objectives that have to be achieved for the modelbased development of aeronautical software. The guidance also recommends the evidence in terms of activities and work products that should respectively be carried out and produced to meet the objectives. To explain why the evidence collected supports the claims concerning objectives achievement, manufacturers could adopt a safety case-based approach. Fail-SafeMBT is an academic, recently proposed, and potentially innovative model-based testing process, which needs compelling arguments to be adopted for the development of aeronautical software. To reduce the gap between industrial settings and academic settings, in this paper, we adopt the safety case-based approach and we explain how to semiautomatically derive means for compliance, aimed at arguing Fail-SafeMBT's compliance. Our focus is limited to the Verification Planning Process and we contribute to partially justify the adequacy of Fail-SafeMBT to act as process evidence by creating fragments of compelling arguments. To do that, we first manually check if Fail-SafeMBT includes DO-178C/DO-331-compliant process elements, then we model Fail-SafeMBT in compliance with Software Process Engineering Meta-model 2.0, then, we derive process-based arguments from the Fail-SafeMBT process model by using MDSafeCer, the recently introduced Model Driven Safety Certification method. By doing so, we provide a threefold contribution: we pioneer the interpretation of DO-331 in academic settings, we validate MDSafeCer in the avionics domain and we strengthen Fail-SafeMBT by providing suggestions aimed at increasing its maturity level.

  • 46.
    Gallina, Barbara
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Atif Javed, Muhammad
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Ul Muram, Faiz
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Punnekkat, Sasikumar
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Model-driven Dependability Analysis Method for Component-based Architectures2012Ingår i: Proceedings - 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012, 2012, s. 233-240Konferensbidrag (Refereegranskat)
    Abstract [en]

    Critical distributed real-time embedded component-based systems must be dependable and thus be able to avoid unacceptable failures. To efficiently evaluate the dependability of the assembly obtained by selecting and composing components, well-integrated and tool-supported techniques are needed. Currently, no satisfying tool-supported technique fully integrated in the development life-cycle exists. To overcome this limitation, we propose CHESS-FLA, which is a model-driven failure logic analysis method. CHESS-FLA allows designers to: model the nominal as well as the failure behaviour of their architectures, automatically perform dependability analysis through a model transformation, and, finally, ease the interpretation of the analysis results through back-propagation onto the original architectural model. CHESS-FLA is part of an industrial quality tool-set for the functional and extra-functional development of high integrity embedded component-based systems, developed within the EU-ARTEMIS funded CHESS project. Finally, we present a case study taken from the telecommunication domain to illustrate and assess the proposed method.

  • 47.
    Gallina, Barbara
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Castellanos Ardila, Julieth Patricia
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nyberg, Mattias
    Scania.
    Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation2016Ingår i: 4th International Workshop on Critical Automotive Applications: Robustness & Safety CARS-2016, Göteborg, Sweden, 2016Konferensbidrag (Refereegranskat)
    Abstract [en]

    Traceable documentation management represents a mandatory activity according to ISO 26262. This activity is also essential for the creation of an ISO 26262-compliant safety case, which is defined as a compilation of work products. OSLC represents a promising integration framework for enabling tool interoperability and thus seamless traceability and documentation management, including safety case creation and management. In this paper, we present a step related to our work aimed at offering an OSLC-based infrastructure enabling the automatic generation of safety case fragments. Our step consists of the identification, representation and shaping of resources needed to create the safety case. Finally, conclusion and perspectives for future work are also drawn.ISO 26262,

  • 48.
    Gallina, Barbara
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Dimov, A.
    University of Sofia, Sofia, Bulgaria.
    Punnekkat, Sasikumar
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Fuzzy-enabled failure behaviour analysis for dependability assessment of networked systems2011Ingår i: M and N 2011 - IEEE International Workshop on Measurements and Networking, Proceedings, 2011, s. 53-58Konferensbidrag (Refereegranskat)
    Abstract [en]

    Dependability assessment of networked component-based systems requires fine-grained modelling of the failure behaviour and propagation aspects of individual components. We have recently introduced a formalism called FI 4FA, enabling the analysis of I 4 (incompletion, inconsistency, interference and impermanence) failures as well as the analysis of the corresponding mitigations. 

  • 49.
    Gallina, Barbara
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Fabre, Laurent
    Critical Systems Labs Inc, Vancouver, Canada.
    Benefits of Security-informed Safety-oriented Process Line Engineering2015Ingår i: Digital Avionics Systems Conference DASC-34, Prague, Czech Republic: IEEE , 2015Konferensbidrag (Refereegranskat)
    Abstract [en]

    Nowadays, given the growing aircraft connectivity, security-informed safety is crucial. To certify aircrafts, safety as well as security standards need to be taken into consideration. In this context, a process engineer has to succeed in mastering the growing complexity of the standards interplay. To support process engineers, we propose to: first, consider a common terminological framework, aimed at reconciling security and safety within dependability; then identify and systematize commonalities and variabilities between the processes. To enable this systematization we introduce Security-informed Safety-oriented Process Line Engineering (SiSoPLE), which extends SoPLE to address security concerns. To show the effectiveness and benefits of SiSoPLE, we apply this new process line engineering to two aerospace standards, SAE ARP 4761 (Safety) and RTCA DO-326A (Security). We then provide our lessons learned and concluding remarks. Finally, we sketch some perspectives for future investigation.

  • 50.
    Gallina, Barbara
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Friedemann, BitschNorwegian University of Science and TechnologyTrondheimNorway.
    Computer Safety, Reliability, and Security: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings2018Proceedings (redaktörskap) (Övrigt vetenskapligt)
123 1 - 50 av 113
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf