Filters








4,653 Hits in 4.6 sec

Safety framework and platform for functions of future automotive E/E systems

Jelena Frtunikj
2016 Automotive and Engine Technology  
A domain-specific meta-model is used to specify relevant aspects of the system such as component interface requirements and function descriptions.  ...  This paper proposes a new safety framework and platform for the functions of future electrical/electronic (E/ E) systems.  ...  Acknowledgments The work presented here was partially funded by the German Federal Ministry for Economic Affairs and Energy (BMWi) through the RACE project.  ... 
doi:10.1007/s41104-016-0007-z fatcat:xh4nptdi4jc7zfnl4qlednwcxe

An experience report on the verification of autonomic protocols in the cloud

Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma, Xavier Etchevers, Olivier Gruber
2013 Innovations in Systems and Software Engineering  
The first one aims at designing a reconfiguration protocol of a component-based platform, intended as the foundation for building robust dynamic systems.  ...  In this article, we present two experiences we had in formally specifying and verifying such protocols.  ...  The authors would like to thank Frédéric Lang and Radu Mateescu for their very interesting comments on a former version of this paper.  ... 
doi:10.1007/s11334-013-0204-0 fatcat:rmtesb3gxzanvoi6vvfytcjba4

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components [chapter]

Frédéric Tronel, Frédéric Lang, Hubert Garavel
2003 Lecture Notes in Computer Science  
The approach is fully automated, as formal methods and tool invocations are made invisible to the end-user, who only has to check the verification results for the configuration under study.  ...  In this article, we report about the application of the Cadp verification toolbox to check the correctness of an industrial protocol for deploying and configuring transparently a large set of heterogeneous  ...  Acknowledgements The authors are grateful to Roland Balter, Luc Bellissart, and David Felliot, for sharing their knowledge of the ScalAgent deployment protocol.  ... 
doi:10.1007/978-3-540-39958-2_17 fatcat:yimyogh46vdmhj5fx66h2skdkq

Dependability through Assured Reconfiguration in Embedded System Software

E.A. Strunk, J.C. Knight
2006 IEEE Transactions on Dependable and Secure Computing  
In many software systems, properties necessary for dependable operation are only a small subset of all desirable system properties.  ...  Reconfiguration thus controls the effective complexity of the system without forcing that system to sacrifice desired, but unassurable, capabilities.  ...  Such automation can effectively make the system more dangerous, however, because of a consequent reduction in the margin for error that would normally be included.  ... 
doi:10.1109/tdsc.2006.33 fatcat:3fg54wvxc5guvdvdzoioavpg6a

Reliable Systems on Unreliable Fabrics

Todd Austin, Valeria Bertacco, Scott Mahlke, Yu Cao
2008 IEEE Design & Test of Computers  
Acknowledgments We acknowledge the support of the Gigascale Systems Research Center (GSRC).  ...  This work (and our related work) is also supported by grants from the National Science Foundation and Semiconductor Research Corp. & References  ...  The other two thrusts build on the first two to provide complete system solutions for short-term stress reduction techniques and longer-term error-resilient mechanisms.  ... 
doi:10.1109/mdt.2008.107 fatcat:ykmurvstufcvrevyigxcyp2qhu

Spacecraft early design validation using formal methods

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
2014 Reliability Engineering & System Safety  
The size and complexity of software in spacecraft is increasing exponentially, and this trend complicates its validation within the context of the overall spacecraft system.  ...  Our modeling language is a dialect of AADL and enables engineers to express the system, the software, and their reliability aspects.  ...  This work was partially supported by ESA/ESTEC (contract no. 4000100798) and Thales Alenia Space (contract no. 1520014509/01).  ... 
doi:10.1016/j.ress.2014.07.003 fatcat:323zdjkgurd7bjuemikv3uxeg4

On re-assembling self-managed components

Pedro Rodrigues, Jeff Kramer, Emil Lupu
2015 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM)  
Self-managed systems need to adapt to changes in requirements and in operational conditions. New components or services may become available, others may become unreliable or fail.  ...  To achieve this we define architectural and behavioural models that are composable, account for non-functional aspects and correspond closely to the implementation.  ...  e, ERROR) model externally visible failures such as communication failures, and input failure actions correspond to the handling of an output failure; details are given in [11] .  ... 
doi:10.1109/inm.2015.7140362 dblp:conf/im/RodriguesKL15 fatcat:vxekf4mvfnfgpgxle53jmvw7ry

Knowledge-based software architectures: acquisition, specification, and verification

J.J.P. Tsai, A. Liu, E. Juan, A. Sahay
1999 IEEE Transactions on Knowledge and Data Engineering  
Based on our survey results, we give a basis for comparing the various knowledge-based systems and list these comparisons in the form of a table.  ...  The concept of knowledge-based software architecture has recently emerged as a new way to improve our ability to effectively construct and maintain complex large-scale software systems.  ...  ACKNOWLEDGMENTS We thank the anonymous reviewer, whose comments have helped us to improve the presentation of the paper. Jeffrey  ... 
doi:10.1109/69.755628 fatcat:yjbrd5vxmrbrhntjpqkd7yghly

Increasing Resilience of Production Systems by Integrated Design

Steffen Ihlenfeldt, Tim Wunderlich, Marian Süße, Arvid Hellmich, Christer-Clifford Schenke, Ken Wenzel, Sarah Mater
2021 Applied Sciences  
The paper presents a framework for considering resilience as an integrated aspect in the design of manufacturing systems.  ...  A basic classification of risk categories and their impacts on manufacturing environments is given so that a concept of reconfigurable and robust production systems can be derived.  ...  Today, up to two thirds of the control software for manufacturing systems is used for error detection and handling [34] .  ... 
doi:10.3390/app11188457 fatcat:ntw3beypnzgqjgtyox3qchiscu

Achieving Critical System Survivability Through Software Architectures [chapter]

John C. Knight, Elisabeth A. Strunk
2004 Lecture Notes in Computer Science  
With this complexity comes the potential for undetected errors in the system.  ...  Software-intensive systems often exhibit dimensions in size and complexity that exceed the scope of comprehension of even talented, experienced system designers and analysts.  ...  The workflow model formally repre-sents the intentions of a reconfiguration request, the temporal ordering required in its operation, and its resource usage.  ... 
doi:10.1007/978-3-540-25939-8_3 fatcat:42ypgc7yavhpfjbwx2cxw5fu24

Pilot Command Center Testbed development environment: a better way to develop C3 systems

Charles R. Grauling
1991 Proceedings of the conference on TRI-Ada '91 today's accomplishments; tomorrow's expectations - TRI-Ada '91  
The standard task executive handles certain Hardware independence contributes to the overall complex system issues such as system fault detection, flexibility of the software design. error handling, and  ...  system reconfiguration in a manner * It promotes a cohesive and modular software de-that is as transparent to applications as possible. sign by requiring early formal definition of taskto-task interfaces  ...  The ools generally handle the mundane engineering existing Management Information Systems chores necessary to manage the declarative part of a to lake advantage of today's distributed processing and complex  ... 
doi:10.1145/126551.126560 fatcat:u5zkrcovknd2xmbcnyzdpj6nqq

Classification of the state-of-the-art dynamic web services composition techniques

Atif Alamri, Mohamad Eid, Abdulmotaleb El Saddik
2006 International Journal of Web and Grid Services  
Finally, we summarise our findings and present a vision for future research work in this area.  ...  Moreover, dynamic composition is the only means to adapt the behaviour of running components in highly available applications such as, banking and telecommunication systems where services cannot be brought  ...  Besides, it is not clear in the proposed system how the user is going to enter his/her query and the interface used for this purpose. Finally, the user has no control of the composition process.  ... 
doi:10.1504/ijwgs.2006.010805 fatcat:e2rooan6unfxbpbnywewrqrowm

Modeling nonfunctional requirements

Michael Dinkel, Uwe Baumgarten
2005 Proceedings of the second international workshop on Software engineering for automotive systems - SEAS '05  
The complexity of current automotive computing systems is already difficult to handle for car makers and the expected growth in the area of electronic devices in vehicles will even intensify this situation  ...  The management of dynamic systems is an upcoming challenge for software engineers in automotive and other embedded systems.  ...  Also reconfiguration and optimal use of resources can be reached. • Error recovery: For purposes of error recovery we can use the application model and the criticality, utility rating to decide which applications  ... 
doi:10.1145/1083190.1083191 fatcat:cqgqysonvvdshbo3tsl2yhafqe

Modeling nonfunctional requirements

Michael Dinkel, Uwe Baumgarten
2005 Software engineering notes  
The complexity of current automotive computing systems is already difficult to handle for car makers and the expected growth in the area of electronic devices in vehicles will even intensify this situation  ...  The management of dynamic systems is an upcoming challenge for software engineers in automotive and other embedded systems.  ...  Also reconfiguration and optimal use of resources can be reached. • Error recovery: For purposes of error recovery we can use the application model and the criticality, utility rating to decide which applications  ... 
doi:10.1145/1082983.1083191 fatcat:vmbbyuwkbngrjihcbow2xpmp2u

Reliable self-deployment of distributed cloud applications

Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma
2016 Software, Practice & Experience  
This work was supported by the OpenCloudware project (2012-2015), which is funded by the French Fonds national pour la Société Numérique (FSN), and is supported by Pôles Minalogic, Systematic, and SCS.  ...  Both configuration and activation tasks are complex and error-prone if handled manually due to functional interdependencies between software elements.  ...  This management interface is mainly based on UML profiles for the description of deployment schemas and the description of reconfiguration state diagrams.  ... 
doi:10.1002/spe.2400 fatcat:ipdyzgzlojcexjvnjpltk4mcxu
« Previous Showing results 1 — 15 out of 4,653 results