IP Quality: A Design, Not a Verification Problem
ISQED '05 Proceedings of the 6th International Symposium on Quality of Electronic Design
Architectural concepts and design patterns for behavior modeling and integration
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
A case study on the application of UML in legacy development
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Scenario selection and prediction for DVS-aware scheduling of multimedia applications
Journal of Signal Processing Systems - Special Issue: Embedded computing systems for DSP
Real-time scheduling of batch systems using Petri nets and linear logic
Journal of Systems and Software
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
FM '08 Proceedings of the 15th international symposium on Formal Methods
StateML +: From Graphical State Machine Models to Thread-Safe Ada Code
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
System-scenario-based design of dynamic embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Reconciling statechart semantics
Science of Computer Programming
Modelling hardware verification concerns specified in the e language: an experience report
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Equilibrium dynamic systems intelligence
WSEAS Transactions on Information Science and Applications
Scenario Based Mapping of Dynamic Applications on MPSoC: A 3D Graphics Case Study
SAMOS '09 Proceedings of the 9th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation
User's issues in crossmedia applications
Proceedings of the 27th ACM international conference on Design of communication
Model-driven engineering for high-performance computing applications
MS '08 Proceedings of the 19th IASTED International Conference on Modelling and Simulation
Architectural concepts and Design Patterns for behavior modeling and integration
Mathematics and Computers in Simulation
Dependability metrics
An FPGA based general purpose data acquisition controller
RTC'05 Proceedings of the 14th IEEE-NPSS conference on Real time
A model based approach for debugging embedded systems in real-time
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Optimum: a MARTE-based methodology for schedulability analysis at early design stages
ACM SIGSOFT Software Engineering Notes
MDE4HPC: an approach for using model-driven engineering in high-performance computing
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Classification and trend analysis of UML books (1997---2009)
Software and Systems Modeling (SoSyM)
Modeling road traffic signals control using UML and the MARTE profile
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Developing simulation based decision support tool for cut-to-size plants
Proceedings of the 2011 Grand Challenges on Modeling and Simulation Conference
Formal modeling of resource management for cloud architectures: an industrial case study
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Microprocessors & Microsystems
Hi-index | 0.00 |
Praise for Real Time UML, Third Edition“I found Real Time UML, Third Edition to provide an informative and practical application of UML 2.0 to the development of real-time systems, and well worth the read by systems and software engineers. It is written in plain English and provides the right balance of depth and breadth.” ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 -Sanford Friedenthal ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 Deputy, Corporate Systems Engineering, ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 Lockheed Martin Corporation ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 Chair: OMG Systems Engineering ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 Domain Special Interest Group“Douglass has again made highly technical material accessible to everyone. This book is an excellent introduction to the new UML 2.0, and if you want to learn what modeling for real-time environments is like, this is the book to read. His witty, conversational style should be a model for all authors of technical material.” ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 -Gary K. Evans ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 Founder and Object Evangelist, ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 Evanetics, Inc. (www.evanetics.com)“Douglass has been a co-chair of the OMG's group interested in quality of service issues and, therefore, has valuable insights into the usefulness of these emerging technologies. His clear presentation of this information helps those applying these advanced technologies to extract the most benefit for their organizations and products, not only for the intended real-time embedded product, but also for products whose quality of performance, while not critical, is nevertheless of interest.” ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 -Thérèse M. Smith ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 President and CEO, ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 Air Traffic Software Architecture, Inc. ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 (USA and Canada)“The author presents an excellent overview of UML in the real-time space with plenty of colorful examples. This book is an excellent teaching tool for a newcomer or a reference for an expert!” ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 -Soma Chatterjee ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 Senior Product Manager, ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 I-LogixThe increasing complexity of embedded and real-time systems requires a more premeditated and sophisticated design approach for successful implementation. The object-based Unified Modeling Language (UML) can describe the structural and behavioral aspects critical to real-time systems and has come to the fore as an outstanding medium for effective design.Like its best-selling predecessors, Real Time UML, Third Edition, provides an overview of the essentials of real-time systems and an introduction to UML that focuses on the use of the ever-evolving standard in design and development. This accessible book examines requirements analysis, the definition of object structure and behavior, architectural and mechanistic design, and more detailed designs that encompass data structure, operations, and exceptions. Numerous figures help illustrate UML design techniques, and detailed, real-world examples show the application of those techniques to embedded systems.This significantly revised edition features the new UML 2.0 standard, which dramatically improves the clarity of the UML for capturing architectures and improving its scalability. Real Time UML, Third Edition, also introduces the UML Profile for Schedulability, Performance, and Time (STP Profile). The STP Profile provides a standardized way to capture schedulability and performance constraints of systems. This allows analysis tools to read and analyze UML models.Key topic coverage includes: The Rapid Object-Oriented Process for Embedded Systems (ROPES) Concurrency and resource modeling with the Real-Time (SPT) UML Profile Tapping action semantics for greater executability Scenario modeling with timing diagrams Key strategies for object identification Defining object state behavior Representing and identifying threads Mechanistic design patterns Representing Command, Control, Communications, Computers, Intelligence, and Reconnaissance (C4ISR) Architectures with the UML