33,946 Hits in 8.6 sec

Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions

Thomas Göthel, Verena Klös, Björn Bartels
2015 EAI Endorsed Transactions on Self-Adaptive Systems  
In this paper, we present and apply a design pattern for distributed adaptive real-time systems using the process calculus Timed CSP.  ...  We enable the modular verification of functional and adaptation behaviour, respectively, based on the notion of process refinement in Timed CSP.  ...  Timed Adaptive System Pattern and Refinement-Based Verification In this section, we introduce an abstract pattern for distributed adaptive real-time systems.  ... 
doi:10.4108/sas.1.1.e5 fatcat:5kmrb67ogvhfjhi6dziivtdm2m

The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems [chapter]

Matthias Hölzl, Nora Koch, Mariachiara Puviani, Martin Wirsing, Franco Zambonelli
2015 Lecture Notes in Computer Science  
In addition, a pattern catalog for the development of collective autonomic systems is presented to ease the engineering process.  ...  The life cycle is characterized by three feedback loops, i.e. based on verification at design time, based on monitoring and awareness in the runtime, and the feedback provided by runtime data to the design  ...  design choices for self-adaptive systems.  ... 
doi:10.1007/978-3-319-16310-9_9 fatcat:psm6q5ik4jdybhbqcpkkkqohbi

Model Checking Goal-Oriented Requirements for Self-Adaptive Systems

Dhaminda B. Abeywickrama, Franco Zambonelli
2012 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems  
To this end, we have defined SOTA (State of the Affairs) as a general goal-oriented modeling framework for the analysis and design of self-adaptive systems.  ...  As part of ongoing research, we investigate various models, schemes and mechanisms to model and engineer self-adaptation in complex software systems.  ...  Also, the approach can exploit event-based systems for automating the for-mal analysis of software architecture specifications, and for supporting software architecture design and program verification  ... 
doi:10.1109/ecbs.2012.30 dblp:conf/ecbs/AbeywickramaZ12 fatcat:hrzoanehmzb43ouxjdtg5t47se

MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems

Didac Gil De La Iglesia, Danny Weyns
2015 ACM Transactions on Autonomous and Adaptive Systems  
To support designers, this paper contributes with a set of formally specified MAPE-K templates that encode design expertise for a family of self-adaptive systems.  ...  The templates comprise: (1) behavior specification templates for modeling the different components of a MAPE-K feedback loop (based on networks of timed automata), and (2) property specification templates  ...  This sample of studies of the past decade underpin the relevance of rigorous modeling and verification in the design of self-adaptive systems.  ... 
doi:10.1145/2724719 fatcat:dguyu3k24vezvmtfutizudoo2y

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap [chapter]

Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi (+30 others)
2013 Lecture Notes in Computer Science  
for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems.  ...  Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes  ...  One example of changed timing for activities in self-adaptive systems is verification and validation.  ... 
doi:10.1007/978-3-642-35813-5_1 fatcat:b3ppcqf5wzaglcxqho5gqqmaxy

Methodologies for Self-Organising Systems: A SPEM Approach

Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
2009 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology  
We define 'SPEM fragments' of five methods for developing self-organising multi-agent systems. Self-organising traffic lights controllers provide an application scenario.  ...  GL: define the self-organisation / self-adaptation architectural design pattern and the adaptation and coordination mechanism. Identification of Software Architecture Fragment ( Figure 8b) .  ...  DL: the architectural design pattern and the adaptation and coordination mechanism. PC: a list of self-* requirements which represents the required system proprieties.  ... 
doi:10.1109/wi-iat.2009.128 dblp:conf/iat/PuvianiSFC09 fatcat:7bkjw6dylfdxzipv5vxs3q67jq

A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B

Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem
2014 Proceedings of the 6th International Conference on Agents and Artificial Intelligence  
The two other patterns are devoted to prove the reachability of the desired global behavior (GBP 0 ) and the ability of the system to self-adapt (SOP 0 ).  ...  Refinement The development of models in Event-B is based on the principle of refinement.  ...  CONCLUSION We have presented in this paper a formal approach for the design of SO-MAS based on design patterns, refinement and Event-B.  ... 
doi:10.5220/0004906902290236 dblp:conf/icaart/GrajaMMGLRK14 fatcat:5h6q6aniurhbjkiz6mjwntmb24

Analyzing hierarchical complex real-time systems

Yang Liu, Jun Sun, Jin Song Dong
2010 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10  
In this work, we present a self-contained toolkit to analyze real-time systems, which supports system modeling, animated simulation and automatic verification (based on advanced model checking techniques  ...  The state-of-the-art approach for specifying real-time systems is based on the notation Timed Automata (TA) [1].  ...  Different from the TA approach, our model checker is the first dedicated verification tool support for hierarchical realtime systems by adapting advanced verification techniques.  ... 
doi:10.1145/1882291.1882350 dblp:conf/sigsoft/LiuSD10 fatcat:7bt5ap6f2fdilet7knsrhnvm7m

Compositional verification of self-adaptive cyber-physical systems

Aimee Borda, Liliana Pasquale, Vasileios Koutavas, Bashar Nuseibeh
2018 Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '18  
In this paper we propose a novel language, Adaptive CSP, to model self-adaptive CPSs modularly and provide a technique to support compositional verification of such systems.  ...  Our technique allows system designers to identify alternative adaptation procedures, potentially affecting different sets of CPS components, for each requirement, and compare them based on correctness  ...  RELATED WORK In this section we discuss existing approaches to model and verify self-adaptive (SA) systems. Refinement-based models. Hachicha et al.  ... 
doi:10.1145/3194133.3194146 dblp:conf/icse/BordaPKN18 fatcat:6r2kdfqobje6djddloyhexaeky

Real-Time Coordination Patterns for Advanced Mechatronic Systems [chapter]

Stefan Dziwok, Christian Heinzemann, Matthias Tichy
2012 Lecture Notes in Computer Science  
Furthermore, our approach exploits the patterns in the decomposition of the system to enable a scalable formal verification for the detection of faults.  ...  A major source of faults is the complex coordination between the connected mechatronic systems. In this paper, we present Real-Time Coordination Patterns for advanced mechatronic systems.  ...  This work was developed in the project "EN-TIME: Entwurfstechnik Intelligente Mechatronik" (Design Methods for Intelligent Mechatronic Systems).  ... 
doi:10.1007/978-3-642-30829-1_12 fatcat:2c2aywlan5g7fovz7p3fq7roxm

Book Titled Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification: An Introduction

Phan Cong Vinh
2015 EAI Endorsed Transactions on Context-aware Systems and Applications  
A response to the critical need for a global information exchange and dialogue, it is written for engineers, scientists, practitioners, and other researchers who have a basic understanding of NoC and are  ...  Despite the growing mainstream importance and unique advantages of autonomic networking-onchip (ANoC) technology, Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification  ...  Analyses and solutions to each of these challenges are presented that enable the design of a self-adaptable SoC.  ... 
doi:10.4108/casa.2.3.e6 fatcat:jcfrjoy5n5cgzef2peyd3uns6q

EPiCS: Engineering Proprioception in Computing Systems

Tobias Becker, Andreas Agne, Peter R. Lewis, Rami Bahsoon, Funmilade Faniyi, Lukas Esterle, Ariane Keller, Arjun Chandra, Alexander R. Jensenius, Stephan C. Stilkerich
2012 2012 IEEE 15th International Conference on Computational Science and Engineering  
Innovations in EPiCS are based on systematic integration of research in concepts and foundations, customisable hardware/software platforms and operating systems, and self-aware networking and middleware  ...  Self-expression enables systems to adapt their behaviour autonomously to changing conditions.  ...  These models are useful for the design-time planning and exploration of self-optimising systems, as well as the run-time execution of such optimisations.  ... 
doi:10.1109/iccse.2012.56 dblp:conf/cse/BeckerALBFEKCJS12 fatcat:4ppm36w2abexzlwsfhznx7crhi

Intelligent Modeling and Verification 2014

Guiming Luo, Xiaoyu Song, Xiaojing Yang, Krishnaiyan Thulasiraman
2014 Journal of Applied Mathematics  
They focus on system modeling, optimal filtering and scheduling, image modeling, pattern recognition, and network modeling.  ...  After the success of the previous special issue Intelligent Modeling and Verification, which was published last year, we are pleased to announce that the new special issue Intelligent Modeling and Verification  ...  In addition, we would like to express our appreciation for the editorial board members of this journal, who provided valuable help and support throughout the preparation of this special issue.  ... 
doi:10.1155/2014/632027 fatcat:qfrhxkghfnccrnjm5mqxygzcjy

Challenges on Coordination for Cyber-Physical Systems

Meng Sun
2013 Applied Mechanics and Materials  
The complex interaction with the physical world makes coordination models and languages very important for the analysis, design and development of cyber-physical systems.  ...  This paper discusses several new challenges on coordination models and languages in the context of the emerging phenomenon of cyber-physical systems.  ...  Meeting such a challenge requires systematic application and adaptation of state-of-the-art models and techniques based on existing methods, and is likely to reveal the need for the development of new  ... 
doi:10.4028/ fatcat:3t6wnlo4ibbrblgn36pz47xani

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study

Neeraj Kumar Singh, Yamine Ait-Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
2016 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS)  
We present a refinement strategy, modeling patterns to capture the essence of a self-adaptive autonomous system, and a substantial example based approach on an industrial case study: TwIRTee.  ...  In this paper, we propose a methodology that reveals the issues involved in the formal modeling and verification of self-adaptive autonomous systems using correct by construction approach.  ...  Event-B supports the correct by construction approach to design an abstract model and a series of refined models for developing any large and complex system. 1) Event-B models: Contexts and Machines: The  ... 
doi:10.1109/iceccs.2016.015 dblp:conf/iceccs/SinghAPDJ16 fatcat:hzadvjtzmjgkla3kq2x2pkt5mi
« Previous Showing results 1 — 15 out of 33,946 results