| |
objectives
-
ensure reliability in your designs
-
be able to develop rigorous testing régimes
-
learn to analyse code
for properties such as liveness, and adherence to strict design standards
- practice
rigorous specification and traceable
refinement
overview
This course covers the techniques required when designing systems whose
correct and continuous operation is essential to the well being of people
or organisations.
The course is written by one of the authors of Catalysis™,
which combines the readability of UML with the rigour of VDM and Z.
Catalysis features rigorous specification and traceable refinement.
The course is suitable for developers and managers involved in the following type of development:
-
Safety or security critical systems
-
Embedded systems, where recall or update of the software would be very
expensive
-
Frameworks and component architectures on which many systems will be based
-
Components that will be used in many applications, or will be used in their
creation (such as compilers)
The
course is presented by one of our senior consultants,
each of whom has at least ten years' experience
in business analysis and modelling, and at least
three years' experience as a trainer and consultant
in a diverse range of application areas.
content
1. Specification
-
Rigorous Specification
-
Simulation and prototyping
2. Architecture
-
Fault tolerance
-
Failure mode analysis
-
Avoiding user errors
|
3. Design
-
Documenting Refinements
-
Rigorous verification
-
Testing
4. Maintenance
-
Conformant versioning
-
Update cycle
|
|
Please
note, when taught at your site, this
course is customizable. Modules
can be adapted, removed, added from
other courses, or even created.
|
|
timings
Day 1
1. Specification
2. Architecture
Day
2
3. Design
4. Maintenance
To
book a public or onsite course, please contact Clive Menhinick on +44 (0)161 225 3240, or email: clive@trireme.com. Alternatively, use the booking form.
©
TriReme International Limited 2001-2006. All
rights reserved. |
