This is a "baggage handling system", built in LEGO. All black bag has to go to the left and yellow on the right. There are two sensors used to detect color bag. This is part of a mandatory assignment in the course "Real-Time Systems" at the right time at IMM DTU. Below you can see the solution by Marcin Szewczyk and Bartlomiej Szymczak developed. The controller is written in Java and runs on the RCX lejos stone. It 'was modeled and formally verified against temporal logicspecification using the UPPAAL tool.
Keywords: DTU, LEGO, RCX, real-time
hoshizaki ice maker manual sockless running shoes maytag dishwashers
No comments:
Post a Comment