Cyber Physical Systems Design Group » Cyber Physical Systems Design Group http://cps.ics.uci.edu at University of California, Irvine Tue, 25 Aug 2015 22:49:39 +0000 en-US hourly 1 http://wordpress.org/?v=4.1.1 Research page: Smart Building with HVAC Systems is online http://cps.ics.uci.edu/news-hvac-online/ http://cps.ics.uci.edu/news-hvac-online/#comments Thu, 09 Jul 2015 17:26:00 +0000 http://cps.ics.uci.edu/?p=662 We just added a new Research page:
The Smart Building with HVAC Systems
presents our work on fault-resistant smart HVAC systems.

The page contains all needed code to reproduce the results from our paper
Improving Energy Efficiency and Thermal Comfort of Smart Buildings with HVAC Systems in the Presence of Sensor Faults that Volkan is going to present at this year's
International Conference on Embedded Software and Systems (ICESS), August 24th in New York

cps-model

]]>
http://cps.ics.uci.edu/news-hvac-online/feed/ 0
Tom's PhD defense http://cps.ics.uci.edu/toms-phd-defense/ http://cps.ics.uci.edu/toms-phd-defense/#comments Tue, 23 Jun 2015 00:02:57 +0000 http://cps.ics.uci.edu/?p=565 Congratulations Dr. Springer!

Today Tom successfully defended his PhD thesis

"Adaptive Real-Time Embedded Systems"

IMG_20150622_161038

Abstract of Toms thesis is:

Modern embedded systems are required to work in ever increasing dynamic environments, where predicting the computational load on those systems is intractable. However, timely responses to events have to be provided within precise timing constraints in order to guarantee a required level of performance. Consequently, embedded systems by their very nature exhibit real-time characteristics which impose an additional set  of restrictions than those in a typical general purpose system. In addition to the limitations of having to perform to strict timing constraints, most embedded systems are constrained by size, weight, energy consumption and cost limitations. As a result, efficient resource management is a critical aspect in embedded systems that must be considered at multiple architectural levels.

The main objective of this work is to present our work on real-time systems that progress to make the next generation embedded systems more predictable and adaptive to dynamic computational changes. To achieve these goals, this phase of our research has focused on the resource synchronization and adaptive scheduling of real-time embedded applications in uniprocessor and multi-core environments. The analysis and  experiments show that our resource synchronization protocols outperformed other state-of-the art resource access control protocols used in hierarchical scheduled systems. Implemented in VxWorks and applied to applications used in the aerospace industry response times for hard real-time tasks were improved and deadline misses for hard real-time tasks were substantially reduced.

]]>
http://cps.ics.uci.edu/toms-phd-defense/feed/ 0
Volkan's Successful PhD Defense http://cps.ics.uci.edu/volkans-successful-phd-defense/ http://cps.ics.uci.edu/volkans-successful-phd-defense/#comments Wed, 27 May 2015 22:28:14 +0000 http://cps.ics.uci.edu/?p=549 Congratulations Dr. Gunes!

Today Volkan successfully defended his PhD thesis

"Ensuring Reliability and Fault-Tolerance for the Cyber-Physical System
Design"

We wish him all the best for his future career!

 

IMG_20150527_121334

 

 

below please find additional information to Volkans thesis:

Committee:
Tony Givargis (Chair), Alexandru Nicolau, Ian Harris, Steffen Peter

Abstract:
The cyber-physical system (CPS) is a term describing a broad range of
complex, multi-disciplinary, physically-aware next generation engineered
systems that integrate embedded computing technologies (cyber part) into
the physical world. Sensors play an important role in this integration
because they provide the data extracted from the physical world for the
cyber systems to fulfill the decision making process. However, this
process is likely to be misled by incorrect data due to sensor fault
occurrences.

In this dissertation, the main focus is on sensor fault mitigation and
achieving high reliability in CPS operations. One of the challenges we
ponder is timely event (e.g., motion as a phenomenon) detection in CPS
under possible faulty sensor conditions. In this regard, our
demonstrative example of CPS is the falling ball example (FBE) using
binary event detectors (i.e., motion sensors), a controller, and a
camera for timely motion detection of a falling ball. Another challenge
we ponder is satisfying thermal comfort and energy efficiency under
certain faulty sensor conditions in a multi-room building incorporating
temperature sensors, controllers, and heating, ventilation, and air
conditioning (HVAC) systems as a CPS application. For both cases, we
adopt a model-based design (MBD) methodology to analyze the effect of
sensor faults on the desired system outcome. We specify well-defined
fault semantics for the event detectors and temperature sensors to make
the problem definition more clear. We provide a MATLAB/Simulink
simulation framework for our CPS examples. Besides having the
traditional CPS model that comprises the cyber, interface (e.g. sensors
and actuators) and physical models, we develop fault models and a system
evaluation model in Simulink and incorporate them into the CPS model.

We explore various techniques for fault mitigation in a holistic design
perspective. Therefore, the approaches presented in this study
contributes to the design of fault-tolerant CPSs. Furthermore,
considering compute demands of large scale CPSs, we introduce the XGRID
embedded many-core system-on-chip architecture. XGRID makes use of a
novel, FPGA-like, programmable interconnect infrastructure, offering
scalability and deterministic communication using hardware supported
message passing among cores. We provide a conceptual mapping of control
algorithms for the automation of a multi-room building onto target XGRID
architecture.

Our findings regarding reliable CPS design show that the physical system
attributes (e.g., sensor placement and environmental effects) can be a
more dominant factor than the cyber system attributes on the system
outcome. In addition, sensor faults may lead to unsatisfactory system
outcome in CPSs since CPSs heavily rely on sensor readings for decision
making. Therefore, the analysis of temporal and spatial correlations
between sensor readings helps mitigate certain types of sensor faults
and enable CPSs to utilize sensors' data more efficiently for decision
making.

]]>
http://cps.ics.uci.edu/volkans-successful-phd-defense/feed/ 0
Maral receives Richard Newton Young Student Fellow Award at DAC 2015 http://cps.ics.uci.edu/maral-receives-richard-newton-young-student-fellow-award-at-dac-2015/ http://cps.ics.uci.edu/maral-receives-richard-newton-young-student-fellow-award-at-dac-2015/#comments Mon, 25 May 2015 20:06:12 +0000 http://cps.ics.uci.edu/?p=545 Maral, our group's first year PhD student, has received the A Richard Newton Young Student Fellow Award. The award supports Maral to travel to and attend the 52nd Design Automation Conference (DAC) in San Francisco, in June.

Here is the poster Maral is going to show:

 Givargis_Amir_PC_36x48_5_RGB_1

.

]]>
http://cps.ics.uci.edu/maral-receives-richard-newton-young-student-fellow-award-at-dac-2015/feed/ 0
Our group at DAC 2015 http://cps.ics.uci.edu/dac-2015/ http://cps.ics.uci.edu/dac-2015/#comments Sun, 26 Apr 2015 02:22:29 +0000 http://cps.ics.uci.edu/?p=541 Steffen Peter and Maral Amir are going to the Design Automation Conference (DAC 2015)  in San Francisco in June.

Steffen will present our paper "Including Variability of Physical Models into the Design Automation of Cyber-Physical Systems" in the Session 64: Variability and Reliability Challenges in Designing Future Embedded Systems, Thursday Jun 11, 2015, 1:30 PM–3:00 PM, Room 305

Steffen is also Session Co-chair in Session 72: Compile- and Run-Time Optimization Methods for Embedded Software, Thursday Jun 11, 2015, 4:00 PM–5:30 PM, Room 305

Maral has received a  Richard Newton Young Fellowship Award, and will present a poster in the Young Fellow poster presentations, collocated with the Ph.D. Form on Tuesday evening.

Hope to see you there.

 

 poster_dac_2015_1   Givargis_Amir_PC_36x48_5_RGB_1

 

]]>
http://cps.ics.uci.edu/dac-2015/feed/ 0
Our Project at the 2014 CPS PI meeting http://cps.ics.uci.edu/2014-cps-pi-meeting/ http://cps.ics.uci.edu/2014-cps-pi-meeting/#comments Wed, 05 Nov 2014 19:45:13 +0000 http://cps.ics.uci.edu/?p=493 The fifth NSF 2014 Cyber-Physical Systems Principal Investigators’ Meeting takes place this week in Washington.

Tony is going to present a poster and a short talk.

You can download the slides of the presentation from this LINK

For a larger version of the poster, please click on the figure
cps_poster_14

]]>
http://cps.ics.uci.edu/2014-cps-pi-meeting/feed/ 0
New group members http://cps.ics.uci.edu/new-group-members/ http://cps.ics.uci.edu/new-group-members/#comments Wed, 01 Oct 2014 17:21:08 +0000 http://cps.ics.uci.edu/?p=471

This year we welcome two new PhD students in our group.

Maral Amir comes from San Francisco State University where she received her degree Master of Science in Embedded Electrical & Computer Systems (Engineering), where Maral worked on software and hardware implementations for brain-inspired computing algorithms.

Mohammad Eletriby joins us from Ain Shams University in Egypt, where he received his MS in Electrical Engineering earlier this year. There he worked on secure smart card operating systems, resulting in a major conference publication.

 

You can find more info on our People pages.

 

]]>
http://cps.ics.uci.edu/new-group-members/feed/ 0
Congratulation Dr. Miller! http://cps.ics.uci.edu/congratulation-dr-miller/ http://cps.ics.uci.edu/congratulation-dr-miller/#comments Wed, 11 Jun 2014 17:26:57 +0000 http://cps.ics.uci.edu/?p=473 We are happy to announce that our student and friend Bailey Miller successfully finished and defended his PhD in Computer Science at UC Riverside.

Congratulations Bailey!

The title of the thesis is "Accelerating Synchronous Many-Core Networks on FPGAs".

The thesis can be found here:

 

]]>
http://cps.ics.uci.edu/congratulation-dr-miller/feed/ 0
SEUS 2014 http://cps.ics.uci.edu/253/ http://cps.ics.uci.edu/253/#comments Sat, 07 Jun 2014 22:36:52 +0000 http://cps.ics.uci.edu/?p=253 Next week Tom is going to attend

SEUS 2014 which will be held in conjunction with the IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC) in Reno – Nevada (USA).

Tom will present our paper Resource Synchronization in Hierarchically Scheduled Real-Time Systems using Preemptive Critical Sections

]]>
http://cps.ics.uci.edu/253/feed/ 0
Visiting Scholar from IHP, Germany http://cps.ics.uci.edu/visiting-scholar/ http://cps.ics.uci.edu/visiting-scholar/#comments Thu, 02 Jan 2014 21:40:41 +0000 http://cps.ics.uci.edu/?p=237 Jana Krimmling joins the CPS design group at UC Irvine as visiting researcher for four months this Winter. Jana has worked in Sensor Networks Group at the System Design Department of the IHP – Leibniz Institute for High Performance Microelectronics in Frankfurt (Oder), Germany. There, Jana works towards her doctoral dissertation in the field of embedded systems on the design and implementation of secure wireless sensor networks hardware, middleware and applications and their integration into industrial environments. As part of her work she received the Young-Engineer-Award of the SPS/IPC/DRIVES Conference in 2010 for her work on reliable wireless communication in industrial environments.
Her current research, supported by the European projects SMARTIE and E-BALANCE, addresses the design of distributed algorithms for the detection of anomalies and intrusions in cyber-physical systems such as smart cities and industrial automation systems.

]]>
http://cps.ics.uci.edu/visiting-scholar/feed/ 0