• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Stepwise Development of an In-House Lighting Control System

Petter Sandvik, Formal Stepwise Development of an In-House Lighting Control System. TUCS Technical Reports 1079, TUCS, 2013.

Abstract:

Automated control systems have become increasingly popular. These types of systems can be very complex, and in order for us to be able to understand and trust them, we need formally derived and verified models. In this paper, we utilise the Event-B formalism to stepwise model a system of automatic control of in-house lighting, with the aim of possible integration with other control systems.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tSandvik_Petter13a,
  title = {Formal Stepwise Development of an In-House Lighting Control System},
  author = {Sandvik, Petter},
  number = {1079},
  series = {TUCS Technical Reports},
  publisher = {TUCS},
  year = {2013},
  keywords = {formal methods, Event-B, integrating formal methods, energy-awareness, context-awareness},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication