course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| course_outline [2014/12/15 02:56] – jonathan | course_outline [2014/12/15 02:59] (current) – jonathan | ||
|---|---|---|---|
| Line 48: | Line 48: | ||
| * Identifying the environmental assumptions and constraints. | * Identifying the environmental assumptions and constraints. | ||
| * Understanding the Parnas 4-variables model for writing requirements. | * 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) | *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 the PVS tool to verify the completeness, | * The use of specification and theorem proving tools (PVS) to describe the function tables and using the PVS tool to verify the completeness, | ||
| + | * 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, | * How to use function tables to specify safety-critical real-time systems and cyber-physical systems and understanding, | ||
| * Using function tables to specify business systems via monitored events and abstract states/ | * Using function tables to specify business systems via monitored events and abstract states/ | ||
course_outline.1418612181.txt.gz · Last modified: 2014/12/15 02:56 by jonathan