The CLEARSY Academic Safety Platform is a simplified version of the industrial platform, allowing the development and deployment of critical applications up to SIL4 level. It provides an introduction to formal modeling and programming for the control of critical functions within a simplified framework suitable for a training session of about ten hours.<\/p>\r\n\r\n\r\n\r\n
The CLEARSY Academic Safety Platform is a fail-safe computer (safety refers to the control of recognized hazards to achieve an acceptable level of risk) capable of performing a self-assessment to check if it can safely complete its mission. The self-assessment is based on various hardware and software features to detect, for example, memory corruption, clock drift, or leakage current.<\/p>\r\n\r\n\r\n\r\n
The main architecture relies on 2 microcontrollers executing the same program while regularly checking that they can communicate with each other. Digital outputs are electrical relays requiring both microcontrollers to agree to activate. If the self-assessment fails, the computer deactivates its outputs and enters an infinite loop doing nothing. The executed program consists of two parts:<\/p>\r\n\r\n\r\n\r\n
Binary codes are produced from the B implementation using two different code generators (C + gcc on one hand, an in-house B to binary compiler on the other). During each iteration of the main loop, the two binaries are executed in sequence, and their memory spaces containing the safety variables must have exactly the same content. Verifications are programmed once and for all in the safety library provided with Atelier B. The safety properties of the platform are out of the developer’s reach and cannot be altered.<\/p>\r\n\r\n\r\n\r\n
The CLEARSY Academic Safety Platform consists of a small-sized computer (10cm x 10cm x 2cm), equipped with 3 digital inputs and 2 digital outputs, embedding two PIC32 microcontrollers, and an integrated development environment based on Atelier B.<\/p>\r\n\r\n\r\n\r\n
The software, the non-replicated C code, and the safety library are provided in a non-modifiable form. The developer only needs to modify the provided B project to specify and implement the function for controlling the outputs based on the state of the inputs. To keep the purchase price at an acceptable level for an academic institution, the computer does not include all the safety electronics of the industrial version. Therefore, this board cannot be used in a real safety-critical system.<\/p>\r\n\r\n\r\n\r\n
The CLEARSY Safety Platform is used as a training tool for teaching formal methods, primarily in the final year of university programs in Europe and America. Notable users include the University of Louvain (Belgium), the Federal University of Rio Grande do Norte (Brazil), the University of Sherbrooke (Canada), the University of Florence (Italy), Swansea University (United Kingdom), as well as Aix-Marseille University, CentraleSup\u00e9lec, ENSIIE, ESIEE, Eurecom, Paris-Dauphine University, Telecom Paris, and UPEC in France.\r\n\r\n\r\n\r\n
The CLEARSY Safety Platform is available in 2 configurations, for demonstration and academic use:<\/p>\r\n\r\n\r\n\r\n
This fully functional board includes 2 processors, 512 Ko Flash, 128 Ko RAM, 3 digital inputs and 2 digital outputs. It is programmed with the Atelier CLEARSY Safety Platform IDE.<\/p>\r\n\r\n\r\n\r\n
Adequate for instant practice. It includes:<\/p>\r\n\r\n\r\n\r\n
| Quantity<\/th>\r\n | x1<\/th>\r\n | x10<\/th>\r\n<\/tr>\r\n |
|---|---|---|
| SK0 board<\/th>\r\n | 275\u20ac HT<\/td>\r\n | 2 500\u20ac HT<\/td>\r\n<\/tr>\r\n |
| SK0 board with accessories<\/th>\r\n | 325\u20ac HT<\/td>\r\n | 2 900\u20ac HT<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<\/figure>\r\n\r\n\r\n\r\n Prices are VAT excluded. Shipping fees are not included. They are 50\u20ac for 1 or 10 boards in Europe. For other quantity or destination, please contact us.<\/a><\/em><\/p>\r\n\r\n\r\n\r\n Each SK0 board is provided with:<\/p>\r\n\r\n\r\n\r\n Our CLEARSY Safety Platform products are entirely produced in France.<\/strong><\/em><\/p>\r\n\n |