Differences

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

--- start [2009/12/14 20:13] – jonathan
+++ start [2010/01/20 23:45] (current) – jonathan
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
-====== Your Course  ======
+====== CSE6411-W10  ======
 ===== Description  =====
+CSE6411 - Programming Logic for Complex Systems
+Monday and Wednesday 5.30pm in the SEL (CSEB2056)
+[[https://wiki.cse.yorku.ca/course_archive/2009-10/W/3341/textbook|Textbook details]] (and slides)
+**From Monday Jan 25th classes will be at 5pm (Mon/Wed).**
 ===== Contents =====
@@ Line 9: / Line 17: @@
 Safety critical systems are complex systems that interact with a dangerous environment (e.g. nuclear reactors or radiation therapy machines such as the [[http://en.wikipedia.org/wiki/Therac-25|Therac-25]] for treating cancer patients). The specification and design of software and hardware for such systems is challenging because these systems may result in death or serious injury to people, loss or severe damage to equipment or environmental harm. So ordinary testing methods are insufficient to ensure that they work reliably and safely.
-In this course, we use industrial strength methods and tools such as [http://www.event-b.org/|Event-B]] for the design of safety critical systems. These methods and tools are all in use in actual practice in industry.
+In this course, we use the industrial strength method [[http://www.event-b.org/|Event-B]]  and its accompanying Rodin tool for the design of safety critical systems. The B and Event-B method and tools are in use in actual practice in industry. For example, B was used to design the new Paris metro trains with zero defect.
 As explained by J.R. Abrial in his new book on Event-B, these methods and tools provide insights into specifying, modelling, and reasoning about the safety and correctness of such systems. These activities take place before undertaking effective coding of a computer system, so that the system in question will be correct by construction. The methods  we will look at include the ability to develop sequential programs, concurrent programs, distributed programs, electronic circuits, reactive systems, etc.