Efficient System Modeling of Complex Real-Time Industrial Networks Using the ACCORD/UML Methodology

Gérard, Sébastien; Voros, Nikos S.; Koulamas, Christos; Terrier, François

doi:10.1007/978-0-387-35409-5_2

Cited by 16 publications

(8 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…a shared resource. Where as many of the related works in UML [5,10] are centered around refining the active object semantics, our work aims at refining the semantics of passive object to model a shared resource, a central entity for synchronization and communication. In our semantics, a shared resource is represented by an object which is externally passive and internally active.…”

Section: Proposed Approachmentioning

confidence: 99%

See 1 more Smart Citation

UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources.

Suryadevara¹,

Shyamasundar²

2007

JOT

View full text Add to dashboard Cite

In object oriented paradigm, a concurrent system can be regarded as a collection of autonomous active objects which synchronize and communicate through shared passive objects. In this paper, we propose a UML-based approach to specify secured, fine-grained concurrent access to shared resources ensuring data integrity and security. The goal of the approach is to develop the UML specification with precise executional semantics, yet independent of low-level synchronization primitives and implementation environment. The approach is largely inspired from the language constructs of CDL*. A light-weight extension of UML 2.0 meta-model is proposed for the required constructs and semantics. UML protocol statemachine is used to define the access protocol for shared resources and UML activity is used to specify the behavior of methods implementing plausibly concurrent operations. The UML activity construct is extended to support concurrency features; synchronization regions, mutual exclusion and conditional synchronization not supported in current UML2.0 semantic model. The approach can be easily extended to a programming framework of design and coding.

show abstract

Section: Proposed Approachmentioning

confidence: 99%

“…Sebastien Gerard et al describe ACCORD/UML Methodology for modeling real time systems [9,10]. The approach defines a real-time object paradigm (RTO).…”

Section: Related Workmentioning

confidence: 99%

UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources.

Suryadevara¹,

Shyamasundar²

2007

JOT

View full text Add to dashboard Cite

show abstract

“…ACCORD/UML is a methodology for developing DRES (Distributed Real-time Embedded Systems) [2]; but also a profile that inherits from real-time profiles (SPT profile, AL profile, SPE profile). This methodology is supported by some tools [1].…”

Section: Introductionmentioning

confidence: 99%

An Emerging Need for a New Software Engineering Method

Perseil

Pautet

2009

2009 14th IEEE International Conference on Engineering of Complex Computer Systems

View full text Add to dashboard Cite

The strong convergence of recent modeling languages, development processes and methodologies for developing real-time systems underlines a set of requirements for a more methodical approach. This paper presents the issues related to the lack of method in the field of software engineering for real-time systems (in particular, avionic systems). We will mainly describe what converge in the new methodologies that are quite adopted but not implemented as methods. The Unified Process is analyzed and revisited in order to support the new types of requirements that we have identified to require the integration of formal methods, a proof-based system engineering approach in the first steps, and a refocusing on the model-driven development.

show abstract

“…Accord| UML [5][6][7][8][9][10][11][12][13] is both a conceptual framework and a method whose purpose is to assist in developing RTE applications, whereby specific design and implementation aspects are abstracted as much as possible, so that:…”

Section: Previous Experience With Mdementioning

confidence: 99%

“…The initial version of the resulting detailed analysis model is obtained by refming the preliminary analysis model. This model affords precise modeling of system behavior using interaction diagrams and state diagrams [6,7,9]. It can be transformed into a dedicated RT validation model and annotated to perform either performance analysis or scheduling analysis [14].…”

Section: Previous Experience With Mdementioning

confidence: 99%

MDE Benefits for Distributed, Real Time and Embedded Systems

Terrier¹,

Gérard²

From Model-Driven Design to Resource Management for Distributed Embedded Systems

Self Cite

View full text Add to dashboard Cite

Abstract:Embedded systems envelopment are currently being challenged to provide global solutions that reconcile three conflicting agendas: enrichment/refinement of system functionalities, reduction of time-to-market and production costs, and compliance with nonfunctional requirements. Model-Driven Engineering (MDE) can help development master these complexities by both separating concerns and systematically automating the production, integration and validation process. This paper draws on the AccordluML research project to illustrate the benefits of model-driven engineering for embedded real time systems development.

show abstract

Efficient System Modeling of Complex Real-Time Industrial Networks Using the ACCORD/UML Methodology

Cited by 16 publications

References 5 publications

UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources.

UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources.

An Emerging Need for a New Software Engineering Method

MDE Benefits for Distributed, Real Time and Embedded Systems

Contact Info

Product

Resources

About