No abstract

No abstract

The Flemish Agency for roads and traffic carries out bi-annual measurements to make an inventory of the physical conditions of bicycle paths. This is currently an expensive endeavor, performed by government employees using dedicated and expensive equipment. Moreover, these measurements are usually only performed once and are limited to larger bicycle paths. This results in partial (50% of bicycle paths being measured) and out-of-date measurements. This paper presents the design and development of a crowdsensing solution to measure bike paths conditions daily. An embedded device accompanied with a software platform allows us to update the inventory of the pathconditions more frequent, accurate and cost-friendly. Overhead for cyclists is minimized and security is taken into account as the devices are used in uncontrolled environments.

This paper presents OMT*, a formal variant of OMT (Object Modeling Technique) designed to bridge the gap between analysis and design. OMT* is a partial result from a larger research effort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique while SDL (Specification and Description Language) is targeted for the design phase. OMT* is defined by its abstract syntax, static semantics and transformational semantic, i.e. a set of transformation rules mapping OMT* constructs to SDL constructs. OMT* is more strict than full OMT, the possible interpretations of OMT constructs are reduced and the relations between the different OMT models are formalised. The translation from OMT* to SDL preserves the logical structure of the specification.

No abstract