Differences

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

--- course_outline [2014/12/09 23:08] – jonathan
+++ course_outline [2014/12/15 02:59] (current) – jonathan
@@ Line 17: / Line 17: @@
   * Thursday Nov 20 by **noon**: Assignment 2✓
   * Thursday Nov 27 by **noon**: Project Phase2✓ (can be handed in until Monday Dec 1 without penalty)
-  * Exam: Thu, 11 Dec 2014	9:00	180	ACE 003
+  * Exam: Thu, 11 Dec 2014	9:00	180	ACE 003 (Accolade Building East)
 ===== TENTATIVE Schedule =====
@@ Line 48: / Line 48: @@
   * Identifying the environmental assumptions and constraints.
   * Understanding the Parnas 4-variables model for writing requirements.
+  * Monitored Variables, Controlled Variables, Timing resolution and Response Allowance
   *Developing the functional specification using tabular expressions (mathematical function tables)
-  * The use of specification and theorem proving tools (PVS) to describe the function tables and using tool to verify the completeness, disjointness and well- definedness of the functional requirements.
+  * The use of specification and theorem proving tools (PVS) to describe the function tables and using the PVS tool to verify the completeness, disjointness and well- definedness of the functional requirements.
+  * PVS Specification of predicates using basic types, tuples, records, datatypes, functions, relations, sets, bags, etc. Reasoning about predicates in these types.
   * How to use function tables to specify safety-critical real-time systems and cyber-physical systems and understanding, Timing Resolution and Response Allowances.
   * Using function tables to specify business systems via monitored events and abstract states/controlled variables.