NDLI: Uniform object modeling methodology and reuse of real-time system using UML

Please wait, while we are loading the content...

HAIL: a language for easy and correct device access

Using separation of concerns for embedded systems design

High performance annotation-aware JVM for Java cards

What will system level design be when it grows up?

Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling

Using de-optimization to re-optimize code

Towards real-time enabled Microsoft Windows

A denotational semantics for stateflow

Code aware resource management

AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices

Random testing of interrupt-driven software

Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip

Passive mid-stream monitoring of real-time properties

Grand challenges in embedded systems

A structural approach to quasi-static schedulability analysis of communicating concurrent programs

Toward a semantic anchoring infrastructure for domain-specific modeling languages

Deeply embedded XML communication: towards an interoperable and seamless world

QoS control for optimality and safety

A sink-n-hoist framework for leakage power reduction

Systems architecture: the empirical way: abstract architectures to 'optimal' systems

A conservative extension of synchronous data-flow with state machines

Compiler-guided register reliability improvement against soft errors

Optimizing inter-processor data locality on embedded chip multiprocessors

SHIM: a deterministic model for heterogeneous embedded systems

Testing real-time embedded software using UPPAAL-TRON: an industrial case study

Distributing synchronous programs using bounded queues

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers

Centralized end-to-end flow control in a best-effort network-on-chip

Uniform object modeling methodology and reuse of real-time system using UML

High-level real-time programming in Java

Model-based run-time monitoring of end-to-end deadlines

Exploiting last idle periods of links for network power management

A unified HW/SW interface model to remove discontinuities between HW and SW design

Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks

Distributed-code generation from hybrid systems models for time-delayed multirate systems

A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems

Semantics-based optimization across uncoordinated tasks in networked embedded systems

Cutpoints for formal equivalence verification of embedded software

Dynamic online reconfiguration for customizable and self-optimizing operating systems

Dual face phased array radar scheduling with multiple constraints

Communication strategies for shared-bus embedded multiprocessors

From statecharts to ESP: programming with events, states and predicates for embedded systems

A GA-based scheduling method for FlexRay systems

A UML 2.0 profile for SystemC: toward high-level SoC design

Efficient embedded software design with synchronous models

Power consumption profile analysis for security attack simulation in smart cards at high abstraction level

1 + ε approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processor

From multi-clocked synchronous processes to latency-insensitive modules

Synchronization of periodic clocks

Model-based analysis of distributed real-time embedded system composition

Minimizing expected energy in real-time embedded systems

The formal verification of a reintegration protocol

Uniform object modeling methodology and reuse of real-time system using UML

Content Provider	ACM Digital Library
Author	Duc, Bui Minh
Abstract	The recent release of UML 2.0 has corrected a lot of design difficulties encountered in the 1.x revisions. The biggest change which allows UML to really attack embedded systems is the implementation of true object diagram and business process diagram. For embedded systems, at analysis stage, use cases and business processes express system requirements. At design time, class diagrams store operations of generic objects and object diagrams show all instantiated objects participating in macroscopic processes. Normally, dynamic studies are supported by sequence suite, activity and state diagrams. Unfortunately, dynamic support undergoes only cosmetic changes. Based on UML version 2.0 diagrams, uniform object modeling methodology shown hereafter handles indifferently any object in the model: a user, a mechanical button or a piece of software program. This uniform abstraction is necessary to implement easily simulation and test. A design of a very simple load elevator going through two levels with security system is used here to illustrate the uniform process and serve as a basic design for discussion.
Starting Page	44
Ending Page	47
Page Count	4
File Format	PDF
ISBN	1595930914
DOI	10.1145/1086228.1086237
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2005-09-18
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Modeling methodology Reactive systems Object technology Object message Induced energy Uml design Embedded real-time systems
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in