Filters








42,323 Hits in 8.4 sec

A learning approach to enhance assurances for real-time self-adaptive systems

Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
2018 Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '18  
The assurance of real-time properties is prone to context variability.  ...  To fill this gap, we propose a method to provide assurance of self-adaptive systems, at design- and runtime, with special focus on real-time constraints.  ...  OUR APPROACH FOR ASSURANCE OF REAL-TIME SAS The software engineering process for building self-adaptive safetycritical systems (e.g., self-adaptive real-time systems) must follow a guideline with perpetual  ... 
doi:10.1145/3194133.3194147 dblp:conf/icse/RodriguesCR0P18 fatcat:6pm4kpbtxjeapo7wqmwrsy2ueq

Quality Assurance for AI-based Systems: Overview and Challenges [article]

Michael Felderer, Rudolf Ramler
2021 arXiv   pre-print
generation, (4) defining expected outcomes as test oracles, (5) accuracy and correctness measures, (6) non-functional properties of AI-based systems, (7) self-adaptive and self-learning characteristics  ...  The number and importance of AI-based systems in all domains is growing.  ...  for Digital and Economic Affairs (BMDW), and the Province of Upper Austria in the frame of the COMET -Competence Centers for Excellent Technologies Programme managed by Austrian Research Promotion Agency  ... 
arXiv:2102.05351v1 fatcat:5f7i2xrsszhf7o4bhxmh3wbc6m

Intelligent Autonomous Systems

Atif Mashkoor, Paolo Arcaini, Angelo Gargantini
2020 Computer  
In "Architectural Solutions for Self-Adaptive Systems," Garcés et al. tackle the problem of designing a self-adaptive system that can, at runtime, reconfigure its architecture to adapt to env iron menta  ...  of the assurance property.  ... 
doi:10.1109/mc.2020.3023158 fatcat:nmg6tso4ijf3nfbhg7skcpr2x4

Intelligent Embedded Software: New Perspectives and Challenges [chapter]

Fateh Boutekkouk, Ridha Mahalaine, Zina Mecibah, Saliha Lakhdari, Ramissa Djouani, Djalila Belkebir
2018 Intelligent System  
Designing a resource-constrained software and at the same time intelligent is not a trivial task especially in a real-time context.  ...  such as self-learning, self-optimizing and self-repairing.  ...  Recently, a new class of self-adaptive SOCs emerges as a new paradigm inspired from the organic computing and especially the self-x properties.  ... 
doi:10.5772/intechopen.72417 fatcat:zujcegkyzfb6jasjdlpnfe4jai

Systems Challenges for Trustworthy Embodied Systems [article]

Harald Rueß
2022 arXiv   pre-print
A new generation of increasingly autonomous and self-learning embodied systems is about to be developed.  ...  We are arguing that traditional systems engineering is coming to a climacteric from embedded to embodied systems, and with assuring the trustworthiness of dynamic federations of situationally aware, intent-driven  ...  of process-based design-time assurance.  ... 
arXiv:2201.03413v2 fatcat:hwprg3zjhvfuro3etecx2t4qua

Advances and challenges of quantitative verification and synthesis for cyber-physical systems

Marta Kwiatkowska
2016 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS)  
We are witnessing a huge growth of cyber-physical systems, which are autonomous, mobile, endowed with sensing, controlled by software, and often wirelessly connected and Internet-enabled.  ...  They include factory automation systems, robotic assistants, self-driving cars, and wearable and implantable devices.  ...  Techniques that integrate model learning from data in order to inform adaptation in real-time and analysis of the dynamics are needed. Model synthesis from specifications.  ... 
doi:10.1109/soscyps.2016.7579999 dblp:conf/cpsweek/Kwiatkowska16 fatcat:ugbkizf4xrcgzjvgtutecnepuu

Perpetual Assurances for Self-Adaptive Systems [chapter]

Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Camara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jezequel, Sam Malek, Raffaela Mirandola, Marco Mori (+1 others)
2017 Lecture Notes in Computer Science  
In this paper, we provide a background framework and the foundation for perpetual assurances for self-adaptive systems.  ...  Providing assurances for self-adaptive systems is challenging.  ...  In [71] [72], the authors formally prove a set of theorems to assure safety and liveness properties of self-adaptive systems.  ... 
doi:10.1007/978-3-319-74183-3_2 fatcat:aeapgcbnzzdbxfg5tabduazh3u

Perpetual Assurances for Self-Adaptive Systems [article]

Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi , Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
2019 arXiv   pre-print
In this paper, we provide a background framework and the foundation for perpetual assurances for self-adaptive systems.  ...  Providing assurances for self-adaptive systems is challenging.  ...  In [71] [72], the authors formally prove a set of theorems to assure safety and liveness properties of self-adaptive systems.  ... 
arXiv:1903.04771v1 fatcat:4emlchx7ivegpavtw6lo3vfu7u

Safe AI – How is this Possible? [article]

Harald Rueß, Simon Burton
2022 arXiv   pre-print
Ttraditional safety engineering is coming to a turning point moving from deterministic, non-evolving systems operating in well-defined contexts to increasingly autonomous and learning-enabled AI systems  ...  of AI systems.  ...  operator, and, finally, there is also uncertainty in self-learning systems about their emergent behavior in time.  ... 
arXiv:2201.10436v2 fatcat:lu5ibn3qc5hormd4w6zjmszplq

State of runtime adaptation in service-oriented systems: what, where, when, how and right

Leah Mutanu, Gerald Kotonya
2019 IET Software  
Software as a Service reflects a 'service-oriented' approach to software development that is based on the notion of composing applications by discovering and invoking network-available services to accomplish  ...  This study identifies the key factors that influence runtime adaptation in service-oriented systems (SOSs) and examines how well they are addressed in 29 adaptation approaches intended to support SOSs.  ...  Machine learning: In order to assess the effectiveness of an adaptation decision, a self-adapting system needs to learn.  ... 
doi:10.1049/iet-sen.2018.5028 fatcat:vkdm64yvybhj5gsptqybj3y6wu

Self-Awareness for Autonomous Systems

Nikil Dutt, Carlo S. Regazzoni, Bernhard Rinner, Xin Yao
2020 Proceedings of the IEEE  
and psychology that describes the property of a system, which has knowledge of "itself," based on its own senses and internal models.  ...  Dr Invited Paper: Time Series Forecasting for Self-Aware Systems by A. Bauer, M. Züfle, N. Herbst, A. Zehe, A. Hotho, and S. Kounev and embedded system design conferences and workshops.  ... 
doi:10.1109/jproc.2020.2990784 fatcat:dyhiomtbgzd6daet5aqvudxrbq

High confidence software for cyber-physical systems

Sherif Abdelwahed, Nagarajan Kandasamy, Aniruddha Gokhale
2007 Proceedings of the 2007 workshop on Automating service quality Held at the International Conference on Automated Software Engineering (ASE) - WRASQ '07  
Many new and planned cyber-physical systems (CPSs) are realized as distributed real-time and embedded (DRE) systems.  ...  Examples of DRE CPSs we are interested in include data computing centers and automated warehouse management systems.  ...  artifacts optimally to assure continuous operation of DRE CPSs Figure 2 : 2 Enablers for Automation provide the capabilities to support real-time component-based applications.  ... 
doi:10.1145/1314483.1314484 fatcat:jewmeh6ke5dltiy7xkj766e5p4

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances [chapter]

Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Camara (+20 others)
2017 Lecture Notes in Computer Science  
The provision of assurances for selfadaptive systems is challenging since run-time changes introduce a high degree of uncertainty.  ...  Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis, and synthesis of evidence  ...  Evidence for self-adaptive systems can be generated during development or at run-time. On-line techniques can be embedded in the managing systems to provide evidence at run-time.  ... 
doi:10.1007/978-3-319-74183-3_1 fatcat:pq3iwpzxmjgj7ivvsfhmhmkgau

A Research Agenda for Smarter Cyber-Physical Systems

Danny Weyns, Jesper Andersson, Mauro Caporuscio, Francesco Flammini, Andreas Kerren, Welf Löwe
2022 Journal of Integrated Design & Process Science  
We highlight key engineering areas: cyber-physical systems, self-adaptation, data-driven technologies, and visual analytics, and outline key challenges in each of them.  ...  With smarter we mean that systems and engineering processes adapt and evolve themselves through a perpetual process that continuously improves their capabilities and utility to deal with the uncertainties  ...  of systems to and throughout their operation in the real world.  ... 
doi:10.3233/jid210010 fatcat:kqcmqgcv5bbfnd42gunj4tdbxi

A Research Agenda for Smarter Cyber-Physical Systems

Danny Weyns, Jesper Andersson, Mauro Caporuscio, Francesco Flammini, Andreas Kerren, Welf Löwe
2021 Journal of Integrated Design & Process Science  
We highlight key engineering areas: cyber-physical systems, self-adaptation, data-driven technologies, and visual analytics, and outline key challenges in each of them.  ...  With smarter we mean that systems and engineering processes adapt and evolve themselves through a perpetual process that continuously improves their capabilities and utility to deal with the uncertainties  ...  of systems to and throughout their operation in the real world.  ... 
doi:10.3233/jid-210010 fatcat:fb3f6oazlffxbk7qbrlp7wq6de
« Previous Showing results 1 — 15 out of 42,323 results