نتایج جستجو برای: uppaal
تعداد نتایج: 600 فیلتر نتایج به سال:
Modern software applications can have very complicated internal dynamics. Most of the software tools are written in an imperative programming language which can quickly become impractical for describing complex dynamics. Also, it is very hard to verify that the code actually covers fully all aspects of the tool’s dynamics. Propagation rules are suitable as a means for specification and verifica...
Uppaal is a tool for modeling, simulation and veri cation of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala University. The tool is appropriate for systems that can be modeled as a collection of non-deterministic processes with nite control structure and real-valued clocks, communicating through channels or shared variables....
In this work, we aim at improving efficiency of model checking by employ-ing abstraction technique in model checkers. We introduced a systematicapproach to combine a tool that provides abstraction function and a modelchecker. Nbac, PMC and Uppaal are tools involved in our implementation ofthe approach. Using Nbac as an abstraction tool to generate abstract mod-els, we hoped ...
Fault tree analysis (FTA) is a standardised technique used by engineers to explore possible failure states of safety-critical systems. Since the FTA is generally practised informally and thus, it cannot be guaranteed that it is applied correctly, several formal approaches have been introduced in the past (e.g. [STR02]) for allowing engineers to verify that they built a fault tree considering th...
In this paper we present DYANA, an HLA-based hardware-in-the-loop simulation tool. This tool is used for distributed Real-Time Embedded Systems (RTES) simulation. RTES models are described by Unified Modeling Language (UML) statechart diagrams. The statechart diagram is transformed into HLA-based Simulation Model (HSM). After translation into HSM we use CERTI as the simulation runtime. The stat...
In modern vehicles, there are a lot of devices (GPS, Tachograph, GSM / GPRS. . . ) with different functions. These peripherals communicate with each other thanks to various media and protocols. The weakness of some protocols and standards obstructs the interoperability. They have to exchange useful information about the vehicle status and understand what is being shared. This paper aims to desi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید