Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

APN
2015
Springer

favoriteEmaildiscussreport

19views Artificial Intelligence» more APN 2015»

Unifying Patterns for Modelling Timed Relationships in Systems and Properties

8 years 20 days ago

Unifying Patterns for Modelling Timed Relationships in Systems and Properties

Download ceur-ws.org

Abstract. Specifying the correctness of complex concurrent and realtime systems is a crucial problem. Many property languages have been proposed to do so; however, these techniques often involve formalisms not easily handled by engineers, and furthermore require dedicated tools. We propose here a set of patterns that encode common speciﬁcation or veriﬁcation components when dealing with concurrent real-time systems. We provide a formal semantics for these patterns, as time Petri nets, and show that they can encode previous approaches.

Étienne André, Laure Petrucci

Real-time Traffic

APN 2015 | Artificial Intelligence |

claim paper

Related Content

» A Unified Mechanism for SpontaneousRate and FirstSpike Timing in the Auditory Nerve

» Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationshi...

» Patterns for Timed Property Specifications

» Modeling relationships at multiple scales to improve accuracy of large recommender systems

» Generalized Linear Discriminant Analysis A Unified Framework and Efficient Model Selection

» Exploiting Pattern Relationship for Intrusion Detection

» A unified framework for generalized Linear Discriminant Analysis

» Invariance Property of Isotropic Random Walk Mobility Patterns in Mobile AdHoc Networks

» A unifying semantics for time and events

» Synthesis for Unified Control and DataOriented Models

Post Info
More Details (n/a)

Added	16 Apr 2016
Updated	16 Apr 2016
Type	Journal
Year	2015
Where	APN
Authors	Étienne André, Laure Petrucci

Comments (0)