30 records found
1
A new benchmark for distributed real-time systems: some experimental results
An approach to evaluate real-time software architectures for safety-critical systems
Parallel and distributed real-time systems: an introduction
Transformation of UML specification to XTG
GNSS extensions: intermediate interference robustness report deliverable D7 for shine
Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm
A timed automata semantics for Real-Time UML specifications
Practice of real-time software architecture: Collider, satellites, and tanks combined
Industrial concerns for architecture-centered software development
Concerns on architecture-centered software development: a survey
ACL: an approach to formal verification of real time systems
Performance comparison of four software architectures for distributed computations
Towards explicit representation of architectural design assumption
Specification of real-time systems in UML
Empirical evaluation of ontological commitments for ADLs
Formal specification of a safety shell in real-time control practice
Specification and verification of a safty shell with statcharts and extended timed graphs
Design orthogonal concepts orthogonally - a contribution to maintainability of enterprise information systems