1. Presentation of the system to be modeled
The aim is to model a semi-automatic control system for the passage of one or more boats (size permitting) through a lock on the Canal du Midi (figure 1 ).
"A lock is a hydraulic engineering structure installed in a canal to make it navigable and allow boats to cross height differences. The lock comprises a chamber in which the water level can be varied. It is isolated from the upstream and downstream reaches by gates (formerly oak gates fitted with valves known as "ventelles", a principle invented by Leonardo da Vinci)" ...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Presentation of the system to be modeled
Article included in this offer
"Software technologies and System architectures"
(
227 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
- (1) - - SysML : formal-12-06-01.pdf : http://www.omg.org/spec/SysML/1.3/PDF
- (2) - - UML : formal-15-03-01 : http://www.omg.org/spec/UML/2.5 ...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!