Efficient Semantic MOdels and Middleware for CYber-Physical Systems
Modern distributed applications where embedded components and networks are used to monitor and control physical processes in the real world (Cyber-Physical Systems - CPS) are usually required to provide semantically enriched yet real-time analysis of sensor streams even in the presence of failures. Theses applications, on the one hand, demand a comprehensive semantic model for real-time data stream analysis, reasoning and actuation on the environment, and correctness of the data stream analysis. To this end, two major problems have to de addressed. Firstly, because of the intrinsic complexity of most CPS (e. g. in Intelligent Transportation Systems) the associated ontology is also very large and there is not yet a scalable semantic model and reasoning technique capable of deducing new knowledge in real-time, which in turn is required for timely reaction to real-world events. Secondly, ensuring correct real-time analysis in the presence of simultaneous failures without compromising the scalability of the system - by inducing high runtime overhead during failure free execution - is still very challenging especially for semantically enriched analysis of sensor stream. Tackling these problems, this project proposes models, mechanisms and algorithms for fault-tolerant data stream processing and real-time reasoning based on the concepts of Semantic Informatin Streams, as a natural extensions of Complex Event Processing (CEP) and RDF (a graph-based knowledge model). The mais advantages of our approach are that time plays a key role in establishing the relation between pieces of information, and that semantic streams can be derived in a two-stage process from the basic events (probled raw sensor data) and consultation of a knowledge base. This knowledge base can also be update with the newly derived facts.
Dr. rer. nat. - TU Berlin, 1992 Prof. livre-docente - USP, 2001
Dr. - USP, 2003 Associate Prof. - UFMA, 1991
PhD candidate Sc.M. - UFMA, 2015 Prof. - IFMA, 2016
PhD Student, UFMA Sc.M. - UFMA, 2012
PhD candidate Sc.M. - PUC-Rio, 2015
Master candidate BSc. - PUC-Rio, 2012
Dr. - UPMC - França, 1984 Associate Prof. - LIP6 - Paris
Dr. PUC-Rio, 1990 Associate Prof. - PUC-Rio, 1991
Here are all the documents related to the project.