Titlebook: Reliable Software Technologies - Ada-Europe 2009; 14th Ada-Europe Inte Fabrice Kordon,Yvon Kermarrec Conference proceedings 2009 Springer-V

委派

CLAIM

Anal-Canal

Coloured Petri Nets for Chronicle Recognition,tax for the different chronicle operators considered. The recognition of chronicles is used in the processing of complex system simulations so as to detect activities or analyse behaviours. This work models formally the chronicle recognition, and coloured Petri nets (CPN) are used to model the recog

zonules

nonsensical

Modeling AADL Data Communication with BIP,r incremental composition of heterogeneous components. As a full-size exercise, we deal here with the modeling of immediate and delayed data communications supporting undersampling and oversampling of AADL.

帳單

Conference proceedings 2009rence are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.

或者發(fā)神韻

beta-carotene

Predicated Worst-Case Execution-Time Analysis,d 20% in some cases during evaluation. Computing the WCET of programs modeled using our approach reveals a great ease of expressing execution-time dependencies and manageable WCET-calculation time-complexity.

新娘

, : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Appliclanguages to describe application critical aspects. In this paper we introduce the use of AST as a modeling language for Distributed Real-time Embedded (DRE) systems. Then we present our tool-suite . which allows automatic code generation from AST models. Finally, we present a comparison between . and traditional approaches.

類型