Concurrent programming for the control of hexapod walking
ACM SIGAda Ada Letters
A Methodology for Architecture-Level Reliability Risk Analysis
IEEE Transactions on Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Research Issues in High-throughput Distributed Object Systems
BT Technology Journal
Journal of Systems Architecture: the EUROMICRO Journal
Streamlined Design Approach Lands Mars Pathfinder
IEEE Software
Developing an Open Architecture for Performance Data Mining
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Transformation of UML Specification to XTG
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Checking General Safety Criteria on UML Statecharts
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Evaluating real-time software specification languages
Computer Standards & Interfaces
A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Patterns for behavior modeling and integration
Computers in Industry - Special issue: Object-oriented modelling in design and production
Autonomous mobile agent based fair exchange
Computer Networks: The International Journal of Computer and Telecommunications Networking
Practical and efficient fair document exchange over networks
Journal of Network and Computer Applications
Executable Specifications for Real-Time Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
A framework for executable UML models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Generating real-time complex event-processing applications
IBM Systems Journal
Patterns for behavior modeling and integration
Computers in Industry
Web-based object-oriented modeling on internet
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Modeling hard real time systems with UML the OOHARTS approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Black-box system testing of real-time embedded systems using random and search-based testing
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Representativeness models of systems: smart grid example
Innovations in Systems and Software Engineering
Memory-access-aware data structure transformations for embedded software with dynamic data accesses
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on the 2002 international symposium on low-power electronics and design (ISLPED)
Enforcing S&D pattern design in RCES with modeling and formal approaches
Proceedings of the 14th international conference on Model driven engineering languages and systems
Design models for reusable and reconfigurable state machines
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Towards timed automata and multi-agent systems
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
The art and science of software architecture
ECSA'07 Proceedings of the First European conference on Software Architecture
Hi-index | 0.00 |
From the Book:PREFACE: Goals Real-Time UML: Developing Efficient Objects for Embedded Systems is an introduction to object-oriented analysis and design for hard real-time systems using the Unified Modified Language (UML). UML is a third generation modeling language which rigorously defines the semantics of the object metamodel and provides a notation for capturing and communicating object structure and behavior. Many methodologists-including Grady Booch (Booch Method), Jim Rumbaugh (Object Modeling Technique (OMT), Ivar Jacobson (Object-Oriented Software Engineering (OOSE), and David Harel (Statecharts)-collaborated to achieve UML. A great many more participated, myself included, in the specification of the UML, and we believe that it is the leading edge in modeling for complex systems. There are very few books on the use of objects in real-time systems and even fewer on UML. Virtually all object-oriented books focus primarily on business or database application domains and do not mention real-time aspects at all. On the other hand, texts on real-time systems have largely ignored object-oriented methods. For the most part, they fall into two primary camps: those that bypass methodological considerations altogether and focus solely on "bare metal" programming, and those that are highly theoretical with little advice for actually implementing workable systems. Real-Time UML: Developing Efficient Objects for Embedded Systems is meant to be a concise and timely bridge for these technologies, presenting the development of deployable real-time systems using the object semantics and notation of the UML. This has many advantages, including focusingthedevelopment process of real-time systems into logical, concrete steps that progress in an orderly fashion with a standardized notation. Audience The book is oriented towards the practicing professional software developer and the computer science major, in the junior or senior year. This book could also serve as an undergraduate or graduate level text, but the focus is on practical development rather than a theoretical introduction. Very few equations will be found in this book, but more theoretical and mathematical approaches are referenced where appropriate. The book assumes a reasonable proficiency in at least one programming language and at least a cursory exposure to the fundamental concepts of both object orientation and real-time systems. Organization The book follows the normal analysisdesignimplementation approach followed by most development projects. The first chapter identifies the fundamental concepts of objects and real-time systems. The next two discuss analysisthe identification and specification of the problem to be solved. Analysis is divided into two portions: black box requirements analysis using context diagrams, use cases and scenarios (Chapter 2), and capturing the key concepts and their relationships from the problem domain (Chapter 3). Design follows analysis and adds details as to how the analysis model should be implemented. Design is broken up into three parts, each taken up in a separate chapterArchitectural, Mechanistic, and Detailed design. The parts differ in the scope of their concerns. Architectural design deals with very broad scope strategic decisions, such as tasking models and inter-processor design. Mechanistic design focuses on how groups of objects collaborate to achieve common purposes. Both architectural and mechanistic design chapters include a number of patterns that have been found generally applicable in real-time systems. Finally, detailed design specifies the internal structure and function of individual objects. Throughout the book, the UML notation is introduced as needed. However, a notational summary is provided in the appendix so that this book can continue to serve as a reference guide as your projects evolve. Examples Two different approaches to examples are used in different texts. Some authors (and readers) prefer a single example taken throughout the entire book to illustrate the various concepts. The other approach is to use many different examples with the idea that it is more useful to see the concepts used in a wide variety of applications. This book uses a compromise approach. A variety of real-time examples illustrate the concepts and notation of UML in several real-time application domains, but the examples reappear in different chapters of the book. This approach reinforces the concepts by showing how they apply in various situations. Special care has been taken to select real-time examples with rich behavioral semantics, however examples which are not strictly real-time are used where appropriate. Bruce Powel Douglass, Ph.D. Summer 1997