CML: C Modeling Language

Frederico de Oliveira Jr. (Pernambuco State University, Brazil)

Ricardo Lima (Pernambuco State University, Brazil)

Marcio Cornelio (Pernambuco State University, Brazil)

Sergio Soares (Pernambuco State University, Brazil)

Paulo Maciel (Federal University of Pernambuco, Brazil)

Raimundo Barreto (Federal University of Pernambuco, Brazil)

Meuse Oliveira Jr. (Federal University of Pernambuco, Brazil)

Eduardo Tavares (Federal University of Pernambuco, Brazil)

Abstract: Non-functional requirements such as performance, program size, and energy consumption significantly affect the quality of software systems. Small devices like PDAs and mobile phones have little memory, slow processors, and energy constraints. The C programming language has been the choice of many programmers when developing application for small devices. On the other hand, the need for functional software correctness has derived several specification languages that adopt the Design by Contract (DBC) technique. In this work we propose a specification language for C, called CML (C Modeling Language), focused on non-functional requirements. CML is inspired on the Design By Contract technique. An additional contribution is a verification tool for hard real-time systems. The tool is the first application developed for CML. The practical usage of CML is presented through a case study, which is a real application for a vehicle monitoring system.

Keywords: c programming language, non-functional requirements, specification language

Categories: D.2.1, D.2.4, D.3.3