A Design Method for Real-Time Object-Oriented Systems Using Communicating Real-Time State Machines

2002 ◽  
pp. 171-185
Author(s):  
Eduardo B. Fernandez ◽  
Jie Wu ◽  
Debera R. Hancock
Keyword(s):  
Real Time ◽  
Dynamic Modeling ◽  
Parallel Machines ◽  
Design Method ◽  
Unified Modeling Language ◽  
Object Oriented ◽  
Software Systems ◽  
State Machines ◽  
Software Modeling ◽  
High Level

Many methodologies for software modeling and design include some form of static and dynamic modeling to describe the structural and behavioral views respectively. Modeling and design of complex real-time software systems requires notations for describing concurrency, asynchronous event handling, communication between independent machines, timing properties. Dynamic modeling of real time systems using object-oriented methodologies requires extensions to the traditional state machine notations in order to convey the real-time system characteristics and constraints. This chapter proposes an object-oriented analysis and design methodology that augments the traditional UML (Unified Modeling Language) dynamic model with real-time extensions based on high-level parallel machines and communication notations from CRSM (Communicating Real-Time State Machines). An example of the proposed methodology is provided using a realistic example of an automated passenger train system.

UML Based Design Approach for Storage System of Nano-Satellite

2014 ◽  
Vol 599-601 ◽  
pp. 530-533
Author(s):  
Hong Hao Wang ◽  
Hui Quan Wang ◽  
Zhong He Jin
Keyword(s):  
Storage System ◽  
Unified Modeling Language ◽  
Object Oriented ◽  
Modeling Language ◽  
Nand Flash ◽  
Unified Modeling ◽  
Object Oriented Design ◽  
High Level Modeling ◽  
High Level

Due to the complex timing sequence of NAND flash, a unified design process is urgently required to guarantee the reliability of storage system of nano-satellite. Unified Modeling Language (UML) is a widely used high level modeling language for object-oriented design. This paper adopts the UML as the design and modelling tool in the low level storage system design to elaborate the UML application in each phase of design in detail. The result shows taking UML as the modelling tool results in a clear and unambiguity design, which promotes the reliability and quality of software. At last, the feasibility of object-oriented implementation in C is presented.

Forward Engineering of UML Static Models

2005 ◽  
pp. 1212-1217 ◽  
Author(s):  
Liliana Favre ◽  
Liliana Martinez ◽  
Claudia Pereira
Keyword(s):  
Unified Modeling Language ◽  
Object Oriented ◽  
Modeling Language ◽  
Modeling Languages ◽  
Software Modeling ◽  
Visual Languages ◽  
Unified Modeling ◽  
Static Models ◽  
Forward Engineering ◽  
Software Intensive

The Unified Modeling Language (UML) has emerged as a modeling language for specifying, visualizing, constructing, and documenting software-intensive systems. It unifies proven software modeling languages that incorporate the object-oriented community’s consensus on core modeling concepts. It also includes additional expressiveness to handle problems that previous visual languages did not fully address (Rumbaugh, Jacobson & Booch, 1999).

Model-Driven Engineering, Services and Interactive Real-Time Applications

2014 ◽  
pp. 178-202
Author(s):  
Luis Costa ◽  
Neil Loughran ◽  
Roy Grønmo
Keyword(s):  
Software Engineering ◽  
Language Development ◽  
Real Time ◽  
Software Systems ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Future Developments ◽  
Real Time Applications ◽  
High Level

Model-driven software engineering (MDE) has the basic assumption that the development of software systems from high-level abstractions along with the generation of low-level implementation code can improve the quality of the systems and at the same time reduce costs and improve time to market. This chapter provides an overview of MDE, state of the art approaches, standards, resources, and tools that support different aspects of model-driven software engineering: language development, modeling services, and real-time applications. The chapter concludes with a reflection over the main challenges faced by projects using the current MDE technologies, pointing out some promising directions for future developments.

DESIGNING HYPERMEDIA APPLICATIONS WITH OBJECTS AND PATTERNS

1999 ◽  
Vol 09 (06) ◽  
pp. 745-766 ◽  
Author(s):  
GUSTAVO ROSSI ◽  
DANIEL SCHWABE ◽  
FERNANDO LYARDET
Keyword(s):  
Interface Design ◽  
Design Patterns ◽  
Design Method ◽  
Object Oriented ◽  
Design Problems ◽  
Hypermedia Design ◽  
High Level ◽  
Abstract Interface ◽  
Interface Structures ◽  
Hypermedia Applications

In this paper we present a software engineering approach for building hypermedia applications. Our approach combines the use of an object-oriented method with a system of design patterns for navigational and interface design. We first present the core activities in the Object-Oriented Hypermedia Design Method (OOHDM), namely conceptual design navigation design, abstract interface design and implementation, describing the modeling constructs we use to build high-level, abstract navigational and interface structures. Next we give the rationale for using design patterns in the process of building high quality hypermedia applications, and present some simple patterns solving recurrent design problems. We finally discuss some further issues.

AN AGENT BASED LANGUAGE FOR THE DEVELOPMENT OF DISTRIBUTED SOFTWARE SYSTEMS

1996 ◽  
Vol 05 (03) ◽  
pp. 347-366
Author(s):  
AGOSTINO POGGI ◽  
PAOLA TURCI
Keyword(s):  
Message Passing ◽  
Object Oriented ◽  
Software Systems ◽  
Multi Agent Systems ◽  
Agent Architecture ◽  
Distributed Software ◽  
Agent Architectures ◽  
Agent Based ◽  
Multi Agent ◽  
High Level

This paper presents a concurrent object-oriented language, called CUBL, that seems be suitable for the development and maintenance of multi-agent systems. This language is based on objects, called c_units, that act in parallel and communicate with each other through synchronous and asynchronous message passing, and allows the distribution of a program, that is, of its objects on a network of UNIX workstations. This language has been enriched with an agent architecture that offers some of more important features for agent-oriented programming and some advantages as regards the other implemented agent architectures. In particular this architecture allows the development of systems where agents communicate with each other through a high level agent communication language and can change their behavior during their life.

A Method for Measuring the Constraint Complexity of Components in Automotive Embedded Software Systems

2019 ◽  
Vol 29 (01) ◽  
pp. 1-21
Author(s):  
Mohit Garg ◽  
Richard Lai
Keyword(s):  
Real Time ◽  
Unified Modeling Language ◽  
Embedded Software ◽  
Software Systems ◽  
Structural Constraints ◽  
Timing Constraints ◽  
Object Constraint Language ◽  
Complexity Measures ◽  
Automotive Embedded Software ◽  
Event Chains

The rapid growth of software-based functionalities has made automotive Electronic Control Units (ECUs) significantly complex. Factors affecting the software complexity of components embedded in an ECU depend not only on their interface and interaction properties, but also on the structural constraints characterized by a component’s functional semantics and timing constraints described by AUTomotive Open System ARchitecture (AUTOSAR) languages. Traditional constraint complexity measures are not adequate for the components in embedded software systems as they do not yet sufficiently provide a measure of the complexity due to timing constraints which are important for quantifying the dynamic behavior of components at run-time. This paper presents a method for measuring the constraint complexity of components in automotive embedded software systems at the specification level. It first enables system designers to define non-deterministic constraints on the event chains associated with components using the AUTOSAR-based Modeling and Analysis of Real-Time and Embedded systems (MARTE)-UML and Timing Augmented Description Language (TADL). Then, system analysts use Unified Modeling Language (UML)-compliant Object Constraint Language (OCL) and its Real-time extension (RT-OCL) to specify the structural and timing constraints on events and event chains and estimate the constraint complexity of components using a measure we have developed. A preliminary version of the method was presented in M. Garg and R. Lai, Measuring the constraint complexity of automotive embedded software systems, in Proc. Int. Conf. Data and Software Engineering, 2014, pp. 1–6. To demonstrate the usefulness of our method, we have applied it to an automotive Anti-lock Brake System (ABS).

Sign in / Sign up

Export Citation Format

Share Document