DiaSuite: A tool suite to develop Sense/Compute/Control applications

Bertran, Benjamin; Bruneau, Julien; Cassou, Damien; Loriant, Nicolas; Balland, Émilie; Consel, Charles

doi:10.1016/j.scico.2012.04.001

Cited by 47 publications

(39 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Their solution can be used to enhance other test suites of context-aware applications. Bertran et al [127] introduced DiaSuite, a tool suite for the development of sense-compute-control applications. Within their suite of tools, they present DiaSim [128], a parametrized simulator to ease the acquisition, testing and interfacing of a variety of software and hardware components.…”

Section: Design Evaluationmentioning

confidence: 99%

“…Generally, authors recognize three main issues when simulating C-AS [127][129]: Modelling, source simulation and performance. First, it is difficult to determine what to model and in what granularity.…”

Section: Design Evaluationmentioning

confidence: 99%

“…DiaSuite [127]: Is a tool-based development methodology that uses a software design approach to drive the development process in the domain of Sense/Compute/Control (SCC) applications. It provides a design language called DiaSpec, dedicated to the SCC paradigm, based on two layers: Taxonomy and application design.…”

Section: Mirie [115]mentioning

confidence: 99%

“…Also, MUSIC [32] and CML [183] mention requirements, but do not explain into detail the techniques. DiaSuite [127] offers perfective maintenance for the system, but does not support adaptive, preventive or corrective ones. The most used verification technique is simulation, but generally the verification support is not very strong.…”

Section: Techniquesmentioning

confidence: 99%

“…Nevertheless, they do not offer support for other stages. No methodology enables the requirement elicitation with a tool, and only DiaSuite [127] allows the maintenance with one. MIRIE [115] offers a strong formal verification support, while MUSIC [32], PerDe [188] and DiaSuite [127] offer verification based on simulation.…”

Section: Tool Supportmentioning

confidence: 99%

See 4 more Smart Citations

Engineering context-aware systems and applications: A survey

Alegre

Augusto

Clark

2016

Journal of Systems and Software

181

137

View full text Add to dashboard Cite

Context-awareness is an essential component of systems developed in areas like Intelligent Environments, Pervasive & Ubiquitous Computing and Ambient Intelligence. In these emerging fields, there is a need for computerized systems to have a higher understanding of the situations in which to provide services or functionalities, to adapt accordingly. The literature shows that researchers modify existing engineering methods in order to better fit the needs of context-aware computing. These efforts are typically disconnected from each other and generally focus on solving specific development issues. We encourage the creation of a more holistic and unified engineering process that is tailored for the demands of these systems. For this purpose, we study the state-of-the-art in the development of context-aware systems, focusing on: A) Methodologies for developing context-aware systems, analysing the reasons behind their lack of adoption and features that the community wish they can use; B) Context-aware system engineering challenges and techniques applied during the most common development stages; C) Context-aware systems conceptualization.

show abstract

Section: Design Evaluationmentioning

confidence: 99%

Section: Design Evaluationmentioning

confidence: 99%

Section: Mirie [115]mentioning

confidence: 99%

Section: Techniquesmentioning

confidence: 99%

Section: Tool Supportmentioning

confidence: 99%

See 3 more Smart Citations

Engineering context-aware systems and applications: A survey

Alegre

Augusto

Clark

2016

Journal of Systems and Software

181

137

View full text Add to dashboard Cite

show abstract

ISBM: a Data Integration Infrastructure for IoT Applications

Filho¹,

Filho²,

Moreira³

2018

Enterprise Interoperability

View full text Add to dashboard Cite

Model‐based design of IoT systems with the BIP component framework

et al. 2018

View full text Add to dashboard Cite

The design of software for networked systems with nodes running an Internet of things operating system faces important challenges due to the heterogeneity of interacting things and the constraints stemming from the often limited amount of available resources. In this context, it is hard to build confidence that a design solution fulfills the application's requirements. This paper introduces a design flow for web service applications of the representational state transfer style that is based on a formal modeling language, the behaviour, interaction, priority (BIP) component framework. The proposed flow applies the principles of separation of concerns in a component-based design process that supports the modular design and reuse of model artifacts. The BIP tools for state-space exploration allow verifying qualitative properties for service responsiveness, ie, the timely handling of events. Moreover, essential quantitative properties are validated through statistical model checking of a stochastic BIP model. All properties are preserved in actual implementation by ensuring that the deployed code is consistent with the validated model. We illustrate the design of a representational state transfer sense-compute-control application for a Wireless Personal Area Network architecture with nodes running the Contiki operating system. The results validate qualitative and quantitative properties for the system and include the study of error behaviours.

show abstract

DiaSuite: A tool suite to develop Sense/Compute/Control applications

Cited by 47 publications

References 31 publications

Engineering context-aware systems and applications: A survey

Engineering context-aware systems and applications: A survey

ISBM: a Data Integration Infrastructure for IoT Applications

Model‐based design of IoT systems with the BIP component framework

Contact Info

Product

Resources

About