Active information systems, from object-oriented design to Ada 95
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
Concurrent design patterns for resource sharing
Proceedings of the conference on TRI-Ada '97
Rate derivation and its applications to reactive, real-time embedded systems
DAC '98 Proceedings of the 35th annual Design Automation Conference
Real-Time Schedulability Tests for Preemptive Multitasking
WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
Subsystem design guidelines for extensible general-purpose software
ISAW '98 Proceedings of the third international workshop on Software architecture
A timing-driven design and validation methodology for embedded real-time systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Timing-driven HW/SW codesign based on task structuring and process timing simulation
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Task generation and compile-time scheduling for mixed data-control embedded software
Proceedings of the 37th Annual Design Automation Conference
Schedulability-driven performance analysis of multiple mode embedded real-time systems
Proceedings of the 37th Annual Design Automation Conference
Designing real-time and distributed applications with the UML (tutorial session)4
Proceedings of the 22nd international conference on Software engineering
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
Timing driven co-design of networked embedded systems
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Designing concurrent, distributed, and real-time applications with UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
On the construction of a domain language for a class of reactive systems
High integrity software
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
Unified system builder through interacting blocks (USBIB) for soft real-time systems
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Mapping software: Are we nearing standardization?
Annals of Software Engineering
Object-Based Modeling of Parallel Programs
IEEE Parallel & Distributed Technology: Systems & Technology
Guest Editors' Introduction: Software Tools Assessment
IEEE Software
IEEE Software
Linking Hazard Analysis to Formal Specification and Design in B
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Communication and Synchronisation Using Interaction Objects
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Koala, a Component Model for Consumer Electronics Product Software
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
A Three-Tier Design Approach for a Family of Large AC Drive Control Systems
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Java Communication Interfaces for Control Systems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Use cases for distributed real-time software architectures
Engineering of distributed control systems
Large exploration for HW/SW partitioning of multirate and aperiodic real-time systems
Proceedings of the tenth international symposium on Hardware/software codesign
Software engineering techniques and tools for high performance parallel systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
An environment for object-oriented real-time systems design
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Octopus/UML: Combining Objects with Real-Time
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
An Adaptive Framework for Distributed Complex Applications Development
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
A New Reactive Processor with Architectural Support for Control Dominated Embedded Systems
VLSID '03 Proceedings of the 16th International Conference on VLSI Design
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
Schedulability analysis with UML
UML for real
Performance assessment on ambient intelligent applications through ontologies
Proceedings of the 5th international workshop on Software and performance
Designing concurrent, distributed, and real-time applications with UML
Proceedings of the 28th international conference on Software engineering
Journal of Parallel and Distributed Computing
Integrating schedulability analysis with UML-RT
Control and Intelligent Systems
CyNC: a MATLAB/SimuLink toolbox for network calculus
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Domain-Specific Software Component Models
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
CTL model update implementation using ANTLR tools
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
Heaven or hell? a "Real-time" UML? panel
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Inter-agent communication in cooperative information agent-based systems
CIA'99 Proceedings of the 3rd international conference on Cooperative information agents III
Rapid prototyping with HW/SW codesign tool
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Scalable real-time system design using preemption thresholds
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Hi-index | 0.00 |
From the Publisher:real-time, and distributed systems, describing the concepts most important in their design, and surveys the design methods available for them. Drawing on his experience in industry, he takes two related object-oriented methods - ADARTS (Ada-based Design Approach for Real-Time Systems) and CODARTS (Concurrent Design Approach for Real-Time Systems) - and shows in detail how they can be applied. The author first introduces the reader to real-time and concurrency concepts, and reviews the background in software design and development needed for the balance of the book. He then describes a number of methods that can be used for real-time and concurrent system design, comparing them through application to a common problem. Methods described include Real-time Structured Analysis and Design, Jackson System Development, Naval Research Lab/Software Cost Reduction, and Object Oriented Design. For each design method treated, the author presents the concepts on which it is based, the steps used in its application, and an assessment of its effectiveness. Gomaa then focuses on ADARTS, a practical method developed by the author and proven over time, and CODARTS, which contains the author's latest ideas on software analysis and design. The final part of the book features practical case studies in which the ADARTS and CODARTS methods are demonstrated. Highlights Provides a basic understanding of concepts and issues in concurrent system design, while surveying and comparing a range of applicable design methods. Elaborates two object-oriented design methods for the effective design of concurrent and real-time systems. Describes a practical approach forapplying real-time scheduling theory to analyze the performance of real-time designs.