Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleOctober 2017
Modelling probabilistic timing analysis: work-in-progress
EMSOFT '17: Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 CompanionOctober 2017, Article No.: 4, Pages 1–2https://doi.org/10.1145/3125503.3125566We describe the process of calculating the execution time profile (ETP) in order to determine the probabilistic worst case execution time (WCET) using a model-based approach. By hierarchical state machines with probabilistic transitions and costs/reward ...
- research-articleNovember 2012
Matching and Merging of Variant Feature Specifications
IEEE Transactions on Software Engineering (ISOF), Volume 38, Issue 6November 2012, Pages 1355–1375https://doi.org/10.1109/TSE.2011.112Model Management addresses the problem of managing an evolving collection of models by capturing the relationships between models and providing well-defined operators to manipulate them. In this paper, we describe two such operators for manipulating ...
- articleJune 2006
synERJY An Object-oriented Synchronous Language
Electronic Notes in Theoretical Computer Science (ENTCS) (ENTCS), Volume 153, Issue 4June, 2006, Pages 99–115https://doi.org/10.1016/j.entcs.2006.02.026The programming language synERJY is presented. It integrates object-orientation and synchronous formalisms in the spirit of Esterel, Lustre, and Statecharts.
- ArticleMay 2006
Programming rich interactions using the hierarchical state machine toolkit
AVI '06: Proceedings of the working conference on Advanced visual interfacesMay 2006, Pages 51–58https://doi.org/10.1145/1133265.1133275Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools make it difficult to implement advanced interaction techniques for these ...
- articleFebruary 2006
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines
Real-Time Systems (RETS), Volume 32, Issue 1-2February 2006, Pages 105–123https://doi.org/10.1007/s11241-006-5318-0This paper proposes a methodology for the development of distributed real-time systems. The methodology consists of the Hierarchical Communicating Real-Time State Machines (H-CRSM) modelling language, and the V iolin toolset. H-CRSM combines ...
- ArticleNovember 2002
Programmer I'interaction avec des machines à états hiérarchiques
IHM '02: Proceedings of the 14th Conference on l'Interaction Homme-MachineNovember 2002, Pages 129–136https://doi.org/10.1145/777005.777023Writing interactive software leads, due to the lack of adapted control structures, to a code that is difficult to maintain and reuse. Formalisms adapted to the description and to the specification of interactions do exist. This paper proposes to extend ...
- ArticleMarch 2000
A Scenario-Based Approach to Hierarchical State Machine Design
ISORC '00: Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed ComputingMarch 2000, Page 78One of the most crucial and complicated phases of real-time system development lies in the transition from system behavior (generally specified using scenario models) to the behavior of interacting components (typically captured by means of ...
- ArticleOctober 1996
Object state testing and fault analysis for reliable software systems
ISSRE '96: Proceedings of the The Seventh International Symposium on Software Reliability EngineeringOctober 1996, Page 76Object state behavior implies that the effect of an operation on an object may depend on the states of the object and other objects. It may cause state changes to more than one object. Thus, the combined or composite effects of the object operations ...