Task CS[1]: Requirement Engineering

We will analyse the requirements with respect to the activities, monitoring tasks and control processes to be developed in SHIP and executed in the BAALL. The activities arise from daily living, as discussed before, such as cooking, reading, and navigation assistance. Control mechanisms, like for instance, lighting control and door locking can easily be integrated in BAALL without having to extend control with too many new devices. Likewise, the monitoring activities we envision to support are restricted by what can be included in the BAALL without too much overhead. Furthermore, we will formulate the desired properties we want to prove about these processes. The result of this task is a fixed set of such activities, control processes and monitoring tasks, as well as properties to be proved about them.

All Tickets

Ticket Priority Summary Owner
#1 major Related Works AAL akohlhase
#2 major Overview of Multiprocess Platforms dietrich
#4 major Querysprache für Datentypen
#5 major Rolland neuer Routengraph
#6 major Daten- und Funktionsbruecke zwischen SHIP Prozesses and Scala
#8 major migrate the scala actors to akka actors
#9 major make the SHIPTool faster
#11 major simple query fails for umac.owl maeder

Last modified 6 years ago Last modified on 02.03.2011 14:36:44

Attachments (1)

Download all attachments as: .zip