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
.
Filters
Automatic Compositional Verification of Timed Systems
[chapter]
2012
Lecture Notes in Computer Science
To the best of our knowledge, it is the first tool supporting fully automatic compositional verification for timed systems. ...
In this work, we present a self-contained toolkit to analyze real-time systems specified using event-recording automata (ERAs), which supports system modeling, animated simulation and automatic compositional ...
To the best of our knowledge, our tool is the first one supporting fully automatic compositional verification for timed systems. ...
doi:10.1007/978-3-642-32759-9_24
fatcat:c2zo2u4cevbobocs3563uvhiom
Automatic Verification of Real-Time Systems with Rich Data: An Overview
[chapter]
2012
Lecture Notes in Computer Science
We present an overview of the results of the project "Beyond Timed Automata" of the Collaborative Research Center AVACS (Automatic Verification and Analysis of Complex Systems) during the period 2008-2011 ...
, which advances the automatic verification of high-level specifications of systems exhibiting the three dimensions of process behavior, complex infinite data, and continuous real-time-beyond the capabilities ...
This paper is a report of the work done in the project ...
doi:10.1007/978-3-642-29952-0_14
fatcat:tplffbonpngj7hsyxyhan5rm6m
Analysis and Design of a Novel Integrated Automatic Verification System Software Platform
2018
DEStech Transactions on Environment Energy and Earth Science
In order to study the intelligent verification system of microprocessor-based relay protection tester, a novel software platform of integrated automatic verification system is designed in this paper. ...
First of all, the composition and principle of the verification system are introduced, and then the communication between the relay protection tester and high precision AC-DC meter whose entire closed-loop ...
The Composition of the Verification System The automatic verification system of the relay protection tester is shown in Figure 1 . ...
doi:10.12783/dteees/epee2017/18102
fatcat:gf3aohx4ynesjpnycetdicz3se
Automatic Verification of Combined Specifications: An Overview
2008
Electronical Notes in Theoretical Computer Science
Our approach to automatic verification of CSP-OZ-DC rests on a compositional semantics of this languages in terms of Phase-Event-Automata. ...
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysis of Complex Systems) of the Universities ...
The goal of R1 is to advance the state of the art in automatic verification of high-level specifications of systems with the three dimensions of process behaviour, data, and real-time -beyond the capabilities ...
doi:10.1016/j.entcs.2008.03.082
fatcat:vyc4iixfgrhghapwkrtdbc6kxe
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems
2018
Proceedings of the 13th International Conference on Software Technologies
To control the complexity and to reduce the verification time, a reduction technique of properties is proposed. ...
Reconfigurable Timed Net Condition/Event Systems (R-TNCESs) are proposed as an extension of the Petri nets formalism for the optimal functional and temporal specification of RDECSs. ...
The model-checking of R-TNCESs is an automatic technique for the verification of properties correctness of finite-state systems based on their reachability graph. ...
doi:10.5220/0006863006250632
dblp:conf/icsoft/RamdaniKK18
fatcat:zy4udhesprbcfi4nvko2cv773u
CELL: A Compositional Verification Framework
[chapter]
2013
Lecture Notes in Computer Science
This paper presents CELL, a comprehensive and extensible framework for compositional verification of concurrent and real-time systems based on commonly used semantic models. ...
., compositional verification paradigms, learning algorithms and model checking methods to support various state-of-the-art compositional verification approaches. ...
Currently, CELL provides seven compositional verification paradigms, seven learning algorithms, four model checking methods and ten ways of combinations to perform automatic compositional verifications ...
doi:10.1007/978-3-319-02444-8_38
fatcat:wzzt6aawo5en5ihb24rslt7bkq
A Design Tool for Service-oriented Systems
2013
Electronical Notes in Theoretical Computer Science
The tool enables graphical modeling of service-based systems, within the resource-aware timed behavioral language Remes, as well as a textual system description. ...
We also provide automated traceability between the two design interfaces, which results in a tool that enhances the potential of system design by intuitive service manipulation. ...
Acknowledgment The research leading to these results has received funding from the ARTEMIS Joint Undertaking under grant agreement number 269335 and from VINNOVA, the Swedish Governmental Agency for Innovation Systems ...
doi:10.1016/j.entcs.2013.04.008
fatcat:7upyn5wgkvggrpc65gwl3oxdvy
Distributed Mils (D-Mils) Specification, Analysis, Deployment, And Assurance Of Distributed Critical Systems
2015
International Conference on High Performance Embedded Architectures and Compilers
Presentation on D-MILS project overview and verification framework ...
of different n Implemented in nuXmv t Combined with IC3IA for verification of infinite-state systems K-liveness for timed/hybrid models n Problem for parametric and real-time/hybrid systems t The number ...
high-assurance distributed platform n Compositional assurance of systems from component assurance and composition analysis n Framework for certification of systems built on the platform supported by ...
doi:10.5281/zenodo.47985
dblp:conf/hipeac/RuessT15
fatcat:ovbvzpwbarh5dmeckjxa3ru2e4
MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution
2012
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
This work proposes an advanced methodology based on an open source virtual prototyping framework for verification of complex Heterogeneous Embedded Systems (HES). ...
It supports early rapid modelling of complex HES through smooth refinements, an open interface based on IP-XACT extensions for secure composition of HES components, and automatic testbench generation over ...
as follows: • The integration and synchronization of the three tools is based on the concepts of the TLM2.0 standard covering untimed, loosely timed, and approximately timed composition of components. ...
doi:10.1109/date.2012.6176482
dblp:conf/date/BeckerDFMPV12
fatcat:ehp4n5fhkfce7nzhu5eooi6bpu
OPTIMIZED INCIDENT MATCHING AND AUTO-MATED VERIFICATION OF COMPOSITION PAT-TERNS IN LONG TERM COMPOSED SERVICES
2014
Journal of Computer Science
The implication is that the system performs automated verification of composition patterns and detection of violations in the business policies if any and aids in change management. ...
Though the impact of the changes is analyzed and recorded every time a change is made and the bug report is generated, it is often done many months after the initial injection of the bug which is time ...
This clearly indicates that the proposed system provides a dynamic and powerful platform for automatic verification of composition patterns and provides the scope for optimized incident matching. ...
doi:10.3844/jcssp.2014.1946.1954
fatcat:hv6364bgonfvlnb6zqtu5qatsu
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
analysis of complex systems. ...
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 ...
Subproject S1 Compositional Approaches to System Verification investigates automatic verification methods for distributed systems that consist of multiple, statically connected components. ...
doi:10.1524/itit.2007.49.2.118
fatcat:2mb2uwdoazcirmt7ghfq3p7aua
A Survey of Formal Verification for Business Process Modeling
[chapter]
2008
Lecture Notes in Computer Science
They have defined semantics of the models and applied various logics and formal methods to verification of the rigorousness. ...
This paper focuses on formal verification of the models and surveys the efforts. We also discuss the prospect of the solutions. ...
They also develop a tool to describe and automatically verify composition of business processes. ...
doi:10.1007/978-3-540-69387-1_58
fatcat:thdl3ghdcrc2bnzqtih6czsyzi
Verification of Adaptive Systems
2012
Infotech@Aerospace 2012
The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach ...
to verification and deployment of adaptive systems that has not been used before. ...
Department of Energy. ...
doi:10.2514/6.2012-2478
dblp:conf/itaero/PullumCVHRB12
fatcat:hrwz2fmmbnb5ljrbvmvizbu3na
Page 5384 of Mathematical Reviews Vol. , Issue 94i
[page]
1994
Mathematical Reviews
94i:68186
ders to improve automatic verification methods (extended abstract) (176-185).
Susanne Graf and Bernhard Steffen, Compositional minimiza- tion of finite state systems (186-196); A. ...
Sangiovanni-Vincentelli, A verification strategy for timing constrained systems (151-163); Roope Kaivola, Compositional model checking for linear-time temporal logic (248-259); S. Bensalem, A. ...
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components
[chapter]
2003
Lecture Notes in Computer Science
To cope with the intrinsic complexity of this protocol, compositional verification techniques have been used, including incremental minimization and projections over automatically generated interfaces ...
Due to the use of compositional verification, the approach can scale to large configurations. So far, Lotos descriptions of more than seventy concurrent processes have been verified successfully. ...
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
« Previous
Showing results 1 — 15 out of 98,661 results