PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Righi M., Russo D. DUE. Technical report, 2016.
 
 
Abstract
(English)
According to the vision of Ambient Intelligence (AmI), the most advanced technologies are those that disappear: computer technology should become invisible. All the objects around us must possess sufficient computing capacity to interact with users, the surroundings, each other and exhibit intelligent behavior. In home environments, Ambient Intelligence is the layer on top of the domotics. Its aim is to integrate isolated devices to achieve global, unified goals. Today, the lack of standard definition of application requirements for domotics has led to the development of a large number of ad hoc solutions which unfortunately are often limited and difficult to integrate. In order to make the advent of genuine AmI applications possible, there is a crucial need to define and develop a standard way forward. The objective of this paper is to take steps in this direction by proposing an innovative intelligent system (DUE ­ Domus Universal System) based on: (1) a new universal distributed programming language (DUL ­ Domus Universal Language), (2) a sort type used to describe devices and device I/O (dXML ­ Domus XML), (3) an hardware abstraction layer (dHAL ­ Domus Hardware Abstraction Layer) and (4) open source hardware/software philosophy. The aim of this system is provide an ad­hoc language able to implement coherence analysis of a domotic application at compile and at run time, and to easily describe the behaviour of domotic systems in relation to the events and contexts of users and devices. The sort type permits to DUL to be a modular language, this perfectly fits for home automation applications and permits a natural development of a text­based and/or graphical programming environment. Being an universal language, alongside to a middleware ableto realize the fully interoperability among different and natively incompatible domotic systems and devices, this language can be used without taking care about the technologies of used devices. Being designed as distributed language, the system can share the computation loads according to the computing capabilities of the domotic network.
Subject Programming language
Sort
Domotics
Home automation
XML
D.3.0 PROGRAMMING LANGUAGES. General
D.2.1 SOFTWARE ENGINEERING. Requirements/Specifications
D.3.1 PROGRAMMING LANGUAGES. Formal Definitions and Theory
D.3.3 PROGRAMMING LANGUAGES. Language Constructs and Features
D.3.m PROGRAMMING LANGUAGES. Miscellaneous
E.2 DATA STORAGE REPRESENTATIONS
F.3.2 Semantics of Programming Languages
F.4.2 MATHEMATICAL LOGIC AND FORMAL LANGUAGES. Grammars and Other Rewriting Systems
F.4.3 MATHEMATICAL LOGIC AND FORMAL LANGUAGES. Formal Languages


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional