Specification and Validation of Real-Time Systems Using UML Sequence Diagrams

QR Code

Specification and Validation of Real-Time Systems Using UML Sequence Diagrams

None

Saved in:

Bibliographic Details
Main Authors:	Huzar, Zbigniew, Walkowiak, Anita
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/35318
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models
by: Peñil, Pablo, et al.
Published: (2012)

Nursing Business Modeling with UML: From Time and Motion Study to Business Modeling
by: Shimizu, Sachiko, et al.
Published: (2011)

Development of Multi-Agent Control Systems using UML/SysML
by: Antonova, Iskra, et al.
Published: (2011)

A Methodology for Scheduling Analysis Based on UML Development Models
by: Hagner, Matthias, et al.
Published: (2012)

Towards Extending UML's Activity Diagram for the Architectural Modeling, Analysis, and Implementation
by: Mehmet Alp Kose, et al.
Published: (2020-09-01)

Real-Time Control in Robotic Systems
by: Simpkins, Alex
Published: (2012)

Handling Overload Conditions in Real-Time Systems
by: Buttazzo, Giorgio C.
Published: (2012)

Construction of Real-Time Oracle Using Timed Automata
by: Babamir, Seyed Morteza, et al.
Published: (2012)

Real-Time Operating Systems and Programming Languages for Embedded Systems
by: Orozco, Javier D., et al.
Published: (2012)

Quality of Service Scheduling in the Firm Real-Time Systems
by: Queudet-Marchand, Audrey, et al.
Published: (2012)

Phase Diagram Analysis for Predicting Nonlinearities and Transient Responses
by: Jáuregui, Juan Carlos
Published: (2011)

Real-Time Motion Processing Estimation Methods in Embedded Systems
by: Botella, Guillermo, et al.
Published: (2012)

SeDeM Diagram: A New Expert System for the Formulation of Drugs in Solid Form
by: Negre, Josep M. Suñé, et al.
Published: (2011)

Phase Diagrams in Chemical Engineering: Application to Distillation and Solvent Extraction
by: Coquelet, Christophe, et al.
Published: (2012)

Real-Time Algorithms of Object Detection Using Classifiers
by: Juranek, Roman, et al.
Published: (2012)

Precise Real-Time Positioning Using Network RTK
by: El-Mowafy, Ahmed
Published: (2012)

Magnetotelluric Tensor Decomposition: Insights from Linear Algebra and Mohr Diagrams
by: Lilley, F.E.M. (Ted)
Published: (2012)

Real-Time Distance Measurement for Indoor Positioning System Using Spread Spectrum Ultrasonic Waves
by: Suzuki, Akimasa, et al.
Published: (2012)

Distribution Diagrams and Graphical Methods to Determine or to Use the Stoichiometric Coefficients of Acid-Base and Complexation Reactions
by: Rojas-Hernández, Alberto, et al.
Published: (2012)

Real-Time Robotic Hand Control Using Hand Gestures
by: Raheja, Jagdish Lal, et al.
Published: (2012)

UML Profile to Model Accessible Web Pages
by: Karla Ordonez-Briceno, et al.
Published: (2024-01-01)

Phase Diagram and Waterlike Anomalies in Core-Softened Shoulder-Dumbbell Complex Fluids
by: Netz, Paulo A., et al.
Published: (2011)

Optimized Method for Real Time Nonlinear Control
by: Rafic, Younes, et al.
Published: (2012)

Real-Time Analysis to Evaluate Crystallization Processes
by: Silva, João F.Cajaiba da, et al.
Published: (2012)

Real-Time Dual-Microphone Speech Enhancement
by: Abdelaziz, Trabelsi, et al.
Published: (2012)

Real-Time Petri Net Based Control System Design for Distributed Autonomous Robotic Manufacturing Systems
by: Yasuda, Gen'ichi
Published: (2012)

Real-Time Optimal Guidance and Obstacle Avoidance for UMVs
by: Yakimenko, Oleg A., et al.
Published: (2011)

Real-Time Video Face Recognition for Embedded Devices
by: Costache, Gabriel, et al.
Published: (2011)

Real-Time Stress Detection by Means of Physiological Signals
by: Santos, Alberto De, et al.
Published: (2011)

Demand Allocation in Water Distribution Network Modelling – A GIS-Based Approach Using Voronoi Diagrams with Constraints
by: Guth, Nicolai, et al.
Published: (2012)

Choosing Appropriate Programming Language to Implement Software for Real-Time Resource- Constrained Embedded Systems
by: Nahas, Mouaaz, et al.
Published: (2012)

Real Time Robust Embedded Face Detection Using High Level Description
by: Khattab, Khalil, et al.
Published: (2011)

Potential-pH Diagrams for Oxidation-State Control of Nanoparticles Synthesized via Chemical Reduction
by: Yagi, Shunsuke
Published: (2011)

Real-Time Rapid Embedded Power System Control Prototyping Simulation Test-Bed Using LabVIEW and RTDS
by: Butler-Purry, Karen, et al.
Published: (2011)

Simplified Deployment of Robust Real-Time Systems Using Multiple Model and Process Characteristic Architecture-Based Process Solutions
by: Lupu, Ciprian
Published: (2011)

Real-Time Low-Latency Estimation of the Blinking and EOG Signals
by: ́nski, Robert Krupi, et al.
Published: (2012)

Enabling Real-Time Business Intelligence by Stream Data Mining
by: Fong, Simon, et al.
Published: (2011)

Real-Time Monitoring of Volatile Organic Compounds in Hazardous Sites
by: Manes, Gianfranco, et al.
Published: (2011)

Real-time Recursive State Estimation for Nonlinear Discrete Dynamic Systems with Gaussian or non-Gaussian Noise
by: Demirbas, Kerim
Published: (2011)

Uncertain Discrete-Time Systems with Delayed State: Robust Stabilization with Performance Specification via LMI Formulations
by: Leite, Valter J. S., et al.
Published: (2011)