In this paper, we address the complex issue of representation of continuous behaviour of the environment of the embedded controllers. In our approach, we propose two novel ideas. One is to consider the weak solutions ...
详细信息
the proceedings contain 36 papers. the topic discussed include: verification of C programs using automated reasoning;formalising design patters in predicate logic;retrenchment and the atomicity pattern;verifying the M...
ISBN:
(纸本)0769528848
the proceedings contain 36 papers. the topic discussed include: verification of C programs using automated reasoning;formalising design patters in predicate logic;retrenchment and the atomicity pattern;verifying the Mondex case study;model-driven architecture for cancer research;modeling and verification of TTCAN startup protocol using synchronous calendar;proving termination by divergence;supporting proof in a reactive development environment;sound reasoning about unchecked exceptions;reasoning about linear systems;the role of abstract interpretation in formal methods;a dynamic logic for deductive verification of concurrent programs;an integrated specification framework for embedded systems;a thread-tag based semantics for sequence diagrams;testing conformance on stochastic stream X-machines;specification-based testing for refinement;hardness for explicit state software model checking benchmarks;and model checking RAISE applicative specifications.
Stream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test se...
详细信息
Conceptual model is an essential part of the process of military system modeling, and less detailed description of model elements is available for conceptual model so far. Four core elements of conceptual model are de...
详细信息
Dynamic service-oriented architectures aim to provide more flexible and robust systemsthat are able to handle change over time. However, their dynamic nature however provides extra challenges when understanding, deve...
详细信息
ISBN:
(纸本)0769524729
Dynamic service-oriented architectures aim to provide more flexible and robust systemsthat are able to handle change over time. However, their dynamic nature however provides extra challenges when understanding, developing, testing and debugging such architectures. this paper identifies and discusses a number of issues and difficulties that are faced in their development. It discusses ways in which the building of such systems can be supported by development tools, focusing particularly on interactive testing and debugging mechanisms. A prototype tool for monitoring and interactively testing Jini services that has been developed to address, and further investigate these issues, is then described.
the successful implementation of Service-Oriented development of Distributed Embedded Real-time systems (DERTS) in the recent years has proved the importance of Service-Orientation over previous paradigms. However, ef...
详细信息
the proceedings contain 11 papers. the special focus in this conference is on software Verification and Formal Methods for ML-Enables Autonomous systems. the topics include: Neural Network Precision Tuning Using Stoch...
ISBN:
(纸本)9783031212215
the proceedings contain 11 papers. the special focus in this conference is on software Verification and Formal Methods for ML-Enables Autonomous systems. the topics include: Neural Network Precision Tuning Using Stochastic Arithmetic;MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types;a Cascade of Checkers for Run-time Certification of Local Robustness;CEG4N: Counter-Example Guided Neural Network Quantization Refinement;minimal Multi-Layer Modifications of Deep Neural Networks;differentiable Logics for Neural Network Training and Verification;neural Networks in Imandra: Matrix Representation as a Verification Choice;self-correcting Neural Networks for Safe Classification;formal Specification for Learning-Enabled Autonomous systems;verified Numerical Methods for Ordinary Differential Equations.
Multiagent systems are useful in distributed systems where autonomous and flexible behaviour with decentralized control is advantageous or necessary. To facilitate agent interactions in multiagent systems, a set of in...
详细信息
ISBN:
(纸本)9729881618
Multiagent systems are useful in distributed systems where autonomous and flexible behaviour with decentralized control is advantageous or necessary. To facilitate agent interactions in multiagent systems, a set of interaction protocols for agents has been proposed by the Foundation of Intelligent Physical Agents (FIPA). these protocols are specified diagramatically in an extension of UML called AUML (Agent UML) for agent communication. In this paper, we informally present a means to translate these protocols to equivalent Petri net specifications. Our Petri nets are compositional, and we contend that compositionality is useful since multiagent systems and their interactions are inherently modular, and so that mission-critical parts of a system can be analysed separately.
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. these systems involve very different technologies, ranging from computer g...
详细信息
ISBN:
(纸本)3540287388
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. these systems involve very different technologies, ranging from computer graphics to artificial intelligence. However, little attention has been paid to softwareengineering issues, and most of these systems are developed in an ad-hoe way that does not allow the reuse of their components or even an easy modification of the application. We describe an agent-based software architecture that is intended to be easily extended and modified. Also, some experiments to test the suitability of the architecture are shown.
Performing Measurement, Calibration, and Diagnosis (MCD) work through automotive electronic control systems is a primary aspect of vehicle upgrade and maintenance. Nowadays, as the core component of automotive electro...
详细信息
暂无评论