A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme)
2007
it - Information Technology
Preserved Fulltext
A particular focus of the project is on models of complex transportation systems and their safety requirements. ...
The Transregional Collaborative Research Center AVACS integrates the three sites Freiburg, Oldenburg, and Saarbrücken, and addresses the challenge of pushing the borderline for automatic verification and ...
Research interests include the verification and test of circuits and systems with a focus on efficient data structures and core algorithms, formal methods for correctness proofs in safety critical systems ...
doi:10.1524/itit.2007.49.2.118
fatcat:2mb2uwdoazcirmt7ghfq3p7aua
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems
2015
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
A logical consequence was the need for system integration. Even in the case of a single original end manufacturer who is responsible for the final product, system integration is quite a challenge. ...
The intent is to contribute to a model-based research agenda in terms of design methods, implementation technologies, and organization challenges necessary to bring the next generation systems online. ...
Developments in real-time middleware (for a survey see [49] ) include a real-time version of the High Level Architecture (HLA) [30] , a real-time Common Object Request Broker Architecture (CORBA) (e.g ...
doi:10.1007/s10270-015-0469-x
fatcat:r2woy56ydrh7jawvl5bfqn6jcq
Preface by the section editors
2003
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
It is organized as a consortium between a group of Swedish companies and academic institutions, supported and partially funded by VINNOVA, the Swedish Agency for Innovation Systems. ...
This issue also contains a set of companion articles, which describe some of the main projects and results obtained in the context of ASTEC. ...
Swedish academia has a strong tradition of research in the areas of formal methods, functional and logic programming, real-time and embeddded systems which have potential applications to software development ...
doi:10.1007/s10009-003-0108-7
fatcat:uxcy2vjdbrf7xl7mghtadstyjq
A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD
2021
International Journal of Software and Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
instantiation of safety-critical scenarios, and construct a library of safetycritical scenarios, aiming to provide a feasible approach for the modeling of such safety-critical scenarios. ...
Then, we study the modeling approach of autonomous driving safety-critical scenarios based on the spatio-temporal trajectory data meta-modeling technology system, use the modeling language ADSML for automatic ...
models and then to construct a safety-critical scenario library, which lays a foundation for the specification and verification of autonomous driving safety-critical scenarios. ...
doi:10.21655/ijsi.1673-7288.00262
fatcat:hivbyqv2inb5zkgkzehptn4c4i
Experimenting with diversity in the model driven development of a railway signaling system
2007
Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The experience has been done inside a larger industrial project undertaken to evaluate the feasibility of employing formal modelling and automatic code generation in the development of a new generation ...
In this paper we discuss how we have introduced elements of diversity in the experimental model driven development process of a railway signalling system. ...
INTRODUCTION We present some experiments made about the introduction of diversity in a development process of a safety-critical embedded system, based on formal modelling and automatic code generation. ...
doi:10.1145/1316550.1316555
dblp:conf/sigsoft/BanciFGL07
fatcat:e5hrryli4bdqlkdc424tdxaqhi
Efficient Mutation Killers in Action
2011
2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Model-based testing is a light-weight formal method which enables the automatic derivation of tests from software models and their environment. ...
Model-based testing (MBT) has matured as a rich research area in the last decade, with a significant body of research and applications. ...
Keywords: Functional safety, Microsoft Spec Explorer, model based testing, power-train control, real-time system, timed system, time planning
Alternating Simulation and IOCO
Margus Veanes (Microsoft ...
doi:10.1109/icst.2011.57
dblp:conf/icst/AichernigBJK11
fatcat:vl3ur4bcxzcjhp32qslqmtatry
Test Case Generation for Critical Systems through a Collaborative Web-Based Tool
2008
2008 International Conference on Computational Intelligence for Modelling Control & Automation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
As the software for space applications is considered as a complex system with several components (usually in parallel), test designers seem to look for other alternatives instead of modeling via FSM. ...
Such software uses Finite State Machines (FSM) in order to model the software specification from which test sequences are generated for a black box test approach. ...
Especially when dealing with critical systems, testing activities are an essential phase in order to validate software, since their engineering processes demand high level and high cost technologies to ...
doi:10.1109/cimca.2008.143
dblp:conf/cimca/ArantesVJG08
fatcat:zezoqlmgsvd6nmy4xjhs3z2vuu
Safety-Critical Collaborative Systems: Convergence to future Cyber-Physical Systems
2022
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This report provides the feedback from the discussions of multiple communities contributing to large-scale safety-critical systems, also called cyber-physical systems (CPS). ...
The focus is particularly for converging on interests supporting bridging of technologies between these communities and holistic strategies, a topic of interest to all stakeholders including product-line ...
We are living in an age of high individuality, which has brought many benefits to humanity, while at the same time restricting other capacities for collaboration and sustainability. ...
doi:10.5281/zenodo.7143895
fatcat:pr5e4jf4y5bkxniaocaq4hyt2m
WEB-PerformCharts
2008
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services - iiWAS '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Collaborative tools coordinate a variety of tasks of several members of a team with an objective of reaching a specific goal. ...
In particular this task becomes more and more important when considering critical software such as space applications, which is the case of Brazilian Space Institutions CTA and INPE. ...
COLLABORATIVE SYSTEMS Word wide web offers resources for transmission of data at high speeds in which geographical distance is no longer a critical factor in today's world. ...
doi:10.1145/1497308.1497375
dblp:conf/iiwas/ArantesVJG08
fatcat:tpdvr4ffenaxpfkytom57s454e
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The first difficulty for a company is due to the many different formal methods proposals around; we show how this difficulty has been addressed and how the choice of a reference formal specification notation ...
This paper reports the story of the introduction of formal methods in the development process of a railway signaling manufacturer. ...
For this purpose automatic procedures, such as parallel execution of the model and the system with outputs comparison, will be investigated. ...
doi:10.1007/11813040_13
fatcat:5oug6soa3jdh5ffq5kcvnzj6me
Formalizing and Guaranteeing* Human-Robot Interaction
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, and provides a roadmap for the challenges and the research needed to create formalized and guaranteed human-robot interaction. ...
Researchers in HRI have made great strides in developing models, methods, and algorithms for robots acting with and around humans, but these "computational HRI" models and algorithms generally do not come ...
Acknowledgment: This paper is a result of fruitful discussions at the Dagstuhl seminar on Verification and Synthesis of Human-Robot Interaction [32] . ...
arXiv:2006.16732v1
fatcat:5mbki4a5hrba5ioum3x4wwueve
In car embedded electronic architectures: How to ensure their safety
2003
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
In this paper, we intend to list certain activities and key points for ensuring the development of a safe and optimized embedded system. ...
This requires a stringent proof that these new vehicles will ensure the safety of driver, occupants, vehicle and environment. ...
their essential contributions to the definition of the AIL_Transport language and Nicolas Navet for the fruitful debates that we had on this topic. ...
doi:10.1016/s1474-6670(17)32457-6
fatcat:xsf2xf7vfvgsfhv6u3xnix53hu
Challenges for real-time systems engineering. Part 2: Towards time-aware technology
2005
Estonian Journal of Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This part of the paper discusses evolution trends of the theory and technology in timeaware interaction-centred models of computation and in time-aware multiagent systems that foster the emergence of a ...
multidisciplinary environment, capable to support analysis of design decisions at the early development stages of time-critical software-intensive systems. ...
Partial financial support from the Estonian Science Foundation (grant No. 4860), and the Estonian Ministry of Education (projects Nos. 0142509s03 and 0182565s03) is appreciated. ...
doi:10.3176/eng.2005.1.02
fatcat:tuy25n7g75bqtguue6znfoj3ly
The practice of formal methods in safety-critical systems
1995
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The benets and limitations of using formal methods are described, and the problems of developing software for safety critical systems are analysed. ...
safety critical systems sector. ...
Specications are given in a real-time, interval logic, based on a conventional dynamic systems model with a state changing over time. ...
doi:10.1016/0164-1212(94)00082-x
fatcat:5oripiq5vjevxchxpabiafvmqu
Safety-critical Human- and Data-centric Process Management in Engineering Projects
2015
International Symposium on Data-Driven Process Discovery and Analysis
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Complex technical systems, industrial systems or infrastructure systems are rich of customizable features and raise high demands on quality and safety-critical aspects. ...
completion of a project and, particularly, for verifying compliance to existing regulations in a distributed, heterogeneous environment. ...
This is a specific challenge in safety-critical systems, which are developed with a tight timeline. ...
dblp:conf/simpda/CabanillasMPH15
fatcat:o3z7fdkjgvhi7nwfaduthtd5tq
« Previous
Showing results 1 — 15 out of 45,783 results