Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 44 for “"Reactive Systems"”.
-
Testing Models of Reactive Systems
Testing models of modern Real-time Embedded (RTE) systems is not straightforward due to timing constraints, numerous if not infinite possible behaviors, and complex communications between components. Software testing tools and approaches that can generate test cases to test these systems are …
-
Reasoning system for real time reactive systems
Real time reactive systems are complex systems that react with their environment through stimulus response behaviour. TROMLAB development environment is a formal system being developed at Concordia University. It is the basis of the real time reactive system that will be described in this thesis. …
-
Deriving new measurements for real-time reactive systems
Real-time reactive systems are largely event-driven, interact intensively and continuously with the environment through stimulus-response behavior, and are regulated by strict timing constraints. Examples of such systems include alarm systems, air traffic control systems, nuclear reactor control …
-
Parameterized events for designing real-time reactive systems
… formalism for the development of real-time reactive systems. Without parameterization, a large number of events representing similar stimuli or responses are required for modeling large systems, especially in telephony and protocol application domains. The syntax and semantics for …
-
Predicate Diagrams as Basis for the Verification of Reactive Systems
… formalism for verifying temporal properties of reactive systems. Diagrams integrate deductive and algorithmic verification techniques for the verification of finite and infinite-state systems, thus combining the expressive power and flexibility of deduction with the automation provided by …
-
Implementing real-time reactive systems from object-oriented design specifications
Real-time reactive systems are among the most difficult systems to design and implement because of their size and complex functional and timing requirements. TROMLAB is a framework for a rigorous development of consistent design that satisfy an authoritative specification of requirements, validate …
-
Automated test generation from formal specifications of real-time reactive systems
Real-time reactive systems are among the most difficult systems to design and implement because of their size and complex functional and timing requirements. They are often used in safety-critical contexts. Consequently, the correction of such systems must be assured before they are deployed. This …
-
Automatic code generation for real-time reactive systems in TROMLAB environment
Real-time reactive systems are among the most difficult systems to design and implement because of their complex functional and timing requirements. TROMLAB is a rigorous framework founded on TROM formalism for developing real-time reactive systems. The framework provides a number of tools that …
-
Urml: A textual toolkit for teaching model-driven development for reactive systems
… even though software designers use formal systems of software, a dominant modelling methodology—model-driven development (MDD)—has not yet penetrated into the industry. This can be attributed to the practitioners’ flawed understanding of the benefits of MDD, the practitioners’ …
-
Controller synthesis for reactive systems in distributed, real-time and hybrid settings
We investigate controller synthesis in distributed, real-time and hybrid settings. In distributed setting, we prove that the monadic second order theory of the event structure unfolding of every system of connectedly communicating processes (CCP) is decidable. With this, we show that the …
-
On Enforcing Maximum Principles and Element-Wise Species Balance for Advective-Diffusive-Reactive Systems
… methodologies to solve advective-diffusive-reactive systems that provide accurate and physical solutions for a wide range of input data (e.g., Péclet and Damköhler numbers) and for complicated geometries. It is well-known that physical quantities like concentration of chemical species and …
-
Animation and formal verification of real-time reactive systems in an object-oriented environment
Real-time reactive systems are characterized by their continuous interaction with their environment through stimulus-response behavior. The safety-critical nature of their domain and their inherent complexity advocate the use of formal methods in the software development process. TROMLAB …
-
Static analyzer : a design tool for TROM
Real-Time Reactive Systems are large complex systems. Many researchers have been studying this field and have developed specification methods to reason about the behavior and attributes of real time reactive systems from different perspectives. This thesis contributes to the development of one part …
-
Graphical user interface for TROMLAB environment
Real-time reactive systems are characterized by their continuous interaction with their environment through stimulus-response behaviour. The safety-critical nature of their domain and their inherent complexity advocate the use of formal methods in the software development process. An effective user …
-
Real-time reactive system development : a formal approach based on UML and PVS
The notion of real-time reactive behavior encompasses concurrency, communication through sensors and actuators, and relations between input and output over time. Real-time reactive systems are inherently complex, and often used in safety-critical contexts. Application domains include control …
-
NAT2TEST: generating test cases from natural language requirements based on CSP
… are usually required when developing critical systems, and model based testing (MBT) techniques play an important role generating test cases from specification models. Concerning critical systems, these models are usually created using formal or semi-formal notations. Moreover, it is also …
-
Runtime monitoring for asynchronous reactive components
Modern software is built on reactive principles, where systems are responsive, resilient, elastic, and message-driven. Despite the benefits they beget, these aspects make the correctness of reactive systems in terms of their expected behaviour hard to ascertain. This thesis investigates how the …
-
A formal verification assistant for TROMLAB environment
… a strong basis in the field of safety critical systems development. Safety, liveness and time bounded properties are characteristics of such systems where the need to secure their adequate implementation is very high. Formal verification of such properties is the research field of this thesis. …
-
Non-linear reduced order modeling for transport dominated fuid systems
… aims to approximate large and complex dynamical systems with smaller ones to reduce simulation costs in the design or control processes of these systems. Standard linear mode-based model order reduction (MOR) can fail for transport dominated fluid systems (TDFS), because the underlying transport …
-
Rose-GRC translator : mapping UML visual models onto formal specifications
Real-time reactive systems are among the most difficult systems to design because of the complex functional and timing requirements that must be satisfied. Visual models serve to break the complexity barrier, allowing the developer to comprehend and reason with graphical representations. The …
Page 1 of 3