Differences

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

--- course_outline [2012/10/05 15:35] – jonathan
+++ course_outline [2012/11/28 19:55] (current) – jonathan
@@ Line 29: / Line 29: @@
 ===== MSR - Module specifications for reactive and transformational systems =====
+MSR uses a combination of ideas from Z, B, Event-B and Parnas function tables for the mathematical specification of systems. The suggested text uses Z for part of the course.
   * What are specification modules? How do they differ from design modules or code modules?
   * Review of predicate logic, set theory, functions (total, partial, injective, surjective, bijective), relations, sequences, bags.
@@ Line 67: / Line 70: @@
 Keywords: software, tabular specifications, finite
 state machine, traces, trace specifications.
+Required: Watch a [[http://www.multimedia.ethz.ch/conferences/2010/fose/01_monday|video]] recording of Precise Documentation: The Key to Better Software, David Lorge Parnas. The slides from this talk are on the SVN.
 ===== UML for Requirements =====
-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.
+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.