Information Technology Reference
In-Depth Information
of the
Credo
modeling language and its corresponding tool suite in order to sup-
port the full development life-cycle of large-scale, open systems. This involves, on
one hand, integrating models of software architecture into the process; and on the
other hand, working further on deployment concerns such as scheduling.
Case Studies
The Credo methodology has been successfully applied to two industrial case
studies.
ASK System.
The
Credo
methodology has been applied to model and analyze
the ASK system, an industrial software system developed by Almende [2]. The
purpose of the ASK system is to improve communication between people by pro-
viding a mediating communication platform with knowledge about the availabil-
ity, schedules, skills and past experience of users. Typical applications for ASK are
workforce planning, customer service, knowledge sharing, social care and emer-
gency response. Various communication channels can be incorporated. The ASK
system is a learning system, trying to improve the quality of service according to
self-monitoring and feedback mechanisms. An important part of all core compo-
nents of the system are thread pools. They are used to manage the (varying) work-
loads of the system by distribution of individual tasks, creation of new threads to
handle tasks, and destruction of threads in case of low workload to minimize the
idle time. We have modeled and analyzed the different kinds of thread pools in the
ASK system according to the
Credo
methodology [15].
BSN.
The
Credo
methodology has been applied to model and analyze a biomed-
ical sensor network (BSN). For the BSN case study we modeled and analyzed dif-
ferent routing protocols for a biomedical sensor network. The BSN case study is
focused on the application of the sensor network in a hospital. Patients are moni-
tored via medical sensors which communicate their observations via radio signals
to a sink, representing the entry point to the (wired) hospital communication net-
work. The signals are not broadcasted directly to the sink but via other sensor
nodes, used as hubs. Among functional properties, like emiting an emergency sig-
nal in certain scenarios, non-functional properties, like energy consumption are of
interest. Two different routing protocols have been modeled, analyzed, and com-
pared [26,27].
References
1. Aichernig, B., Griesmayer, A., Schlatte, R., Stam, A.: Modeling and testing multi-
threaded asynchronous systems with Creol. In: Proc. TTSS 2008. ENTCS, vol. 243,
pp. 3-14. Elsevier, Amsterdam (2009)
2. The Almende research company,
http://www.almende.com/
3. Arbab, F.: Reo: A channel-based coordination model for component composition.
Mathematical Structures in Computer Science 14, 329-366 (2004)
