Differences

This shows you the differences between two versions of the page.

--- course_outline [2012/10/23 22:38] – jonathan
+++ course_outline [2012/11/28 19:55] (current) – jonathan
@@ Line 76: / Line 76: @@
 The suggested text discusses how UML models are used in requirements engineering. We discuss use cases/diagrams, class diagrams, statecharts (XOR and parallel composition) and sequence charts. UML does not have the formality of MSR; we discuss the pros and cons. We also distinguish between the use of UML in design as opposed to requirements. See slides and UML resources on this website. See the fully worked out requirements example involving the train transportation system on the SVN.
+===== Writing requirements for reactive/real-time systems =====
+  * Difference between transformational and reactive systems
+  * Safety critical systems are usually reactive
+  * Difference between proof systems and model checking
+  * Timed Transition Models
+    * types, constants and variables
+    * module templates with in, out and share variables
+    * module instants
+    * module compositions
+    * model-checking and reachability graphs
+    * temporal logic specifications
+    * safety properties and liveness properties
+    * discussion of the the bridge controller
+===== General Considerations =====
+This is covered in the slides in the SVN: Readings/ReqIntro-Alexander.pdf (based on the text in Steacie: Discovering Requirements (Alexander et.al). Stakeholders. Goals vs. Requirements. Context, interaction and scope. Scenarios. Priorities. Hazard/risk analysis. In Scenarios we reviewed how to use Use Cases and the include and extend relations.