Abstract: The proliferation of mobile phones in developing countries such as South Africa has been revolutionary. This might have sufficed to address the issues of digital divide but not the digital difference. The latter means that not all these mobile phones have equal technological capabilities and this in turn has impact on the nature of the functionality that the mobile phone affords to its user. The basic capability of a mobile phone is the ability to process and display textual information. This capability is used in basic service such as Short Message Service (SMS) as well as Unstructured Supplementary Service Data (USSD). There is a need for a service access and delivery pattern that can facilitate the delivery of services using common-lowest denominator in terms of technological capabilities of mobile phones. This paper describes the conceptualization and reference implementation of a menu-based service access and delivery pattern. The reference implementation has demonstrated that thr

• Publication Date: 17-Nov-2014
• DOI: 10.15224/978-1-63248-051-4-137
• Views: 0
• Downloads: 0

Abstract: Given the architecture of a Cyber Physical System (CPS) in AADL (Architecture Analysis and Design Language), we aim to use a model based development approach for system construction. We use the Event-B formalism for modelling and analysis. The model decomposition mechanism in Event-B helps us in establishing a one to one correspondence between the AADL components and the Event-B sub-models. Using the example of an Adaptive Cruise Controller, we show how interesting architectural properties could be verified within the Event-B modelling framework.

• Publication Date: 17-Nov-2014
• DOI: 10.15224/978-1-63248-051-4-133
• Views: 0
• Downloads: 0