COST Action IC1402 Runtime Verification beyond Monitoring

International audienceIn this paper we report on COST Action IC1402 which studies Run-time Verification approaches beyond Monitoring. COST Actions are funded by the European Union and are an efficient networking instrument for researchers, engineers and scholars to cooperate and coordinate research activities. This COST action IC1402 lasted over the past four years, involved researchers from 27 different European countries and Australia and allowed to have many different working group meetings, workshops and individual visits

Baja SAE eCVT Mechanical Design

This objective of this project was to design, manufacture, and test the mechanical systems of an electronically-controlled continuously variable transmission (eCVT) for the Cal Poly Baja SAE vehicle

California Solar Regatta

This Final Design Review report details the research, analysis, and design conducted by a Cal Poly Mechanical Engineering senior project team working on the propulsion system for a solar powered boat. Working in coordination with another senior project team responsible for making the hull, the two teams comprised the Cal Poly team who entered the Sacramento Municipal Utility District (SMUD) 2020 California Solar Regatta Competition. The SMUD Solar Regatta is an annual competition for high school and college students to design and build boats powered by solar power. The solar panels are provided by SMUD, and the battery storage is limited by competition regulations. The scope of this project was to design a propulsion system that would efficiently transfer energy, be easily integrated into the hull design and be competitive in the three races: endurance, slalom, and sprint. This document covers research conducted, objectives for the design, design concepts considered, the chosen final design, manufacturing and verification plans, and project management

Internal Combustion Engine

The goal of this project is to modify a Honda GX35 engine to improve its fuel efficiency and maximize its competitiveness in the Shell Eco-marathon competitions. This competition has tight restrictions on the type of fuel used to power the engine, but otherwise has very few rules limiting the type of modifications which may be made. Our primary goals are to maximize volumetric efficiency and maintain an efficient operating temperature. Future work might pursue more advanced technologies such as pseudo-atkinson cycle operation

Teaching Autonomous Systems Hands-On: Leveraging Modular Small-Scale Hardware in the Robotics Classroom

Although robotics courses are well established in higher education, the courses often focus on theory and sometimes lack the systematic coverage of the techniques involved in developing, deploying, and applying software to real hardware. Additionally, most hardware platforms for robotics teaching are low-level toys aimed at younger students at middle-school levels. To address this gap, an autonomous vehicle hardware platform, called F1TENTH, is developed for teaching autonomous systems hands-on. This article describes the teaching modules and software stack for teaching at various educational levels with the theme of "racing" and competitions that replace exams. The F1TENTH vehicles offer a modular hardware platform and its related software for teaching the fundamentals of autonomous driving algorithms. From basic reactive methods to advanced planning algorithms, the teaching modules enhance students' computational thinking through autonomous driving with the F1TENTH vehicle. The F1TENTH car fills the gap between research platforms and low-end toy cars and offers hands-on experience in learning the topics in autonomous systems. Four universities have adopted the teaching modules for their semester-long undergraduate and graduate courses for multiple years. Student feedback is used to analyze the effectiveness of the F1TENTH platform. More than 80% of the students strongly agree that the hardware platform and modules greatly motivate their learning, and more than 70% of the students strongly agree that the hardware-enhanced their understanding of the subjects. The survey results show that more than 80% of the students strongly agree that the competitions motivate them for the course.Comment: 15 pages, 12 figures, 3 table

Requirement falsification for cyber-physical systems using generative models

We present the OGAN algorithm for automatic requirement falsification of cyber-physical systems. System inputs and output are represented as piecewise constant signals over time while requirements are expressed in signal temporal logic. OGAN can find inputs that are counterexamples for the safety of a system revealing design, software, or hardware defects before the system is taken into operation. The OGAN algorithm works by training a generative machine learning model to produce such counterexamples. It executes tests atomically and does not require any previous model of the system under test. We evaluate OGAN using the ARCH-COMP benchmark problems, and the experimental results show that generative models are a viable method for requirement falsification. OGAN can be applied to new systems with little effort, has few requirements for the system under test, and exhibits state-of-the-art CPS falsification efficiency and effectiveness.Comment: 38 pages, 5 figures, 10 table

Cyber Security of Critical Infrastructures

Critical infrastructures are vital assets for public safety, economic welfare, and the national security of countries. The vulnerabilities of critical infrastructures have increased with the widespread use of information technologies. As Critical National Infrastructures are becoming more vulnerable to cyber-attacks, their protection becomes a significant issue for organizations as well as nations. The risks to continued operations, from failing to upgrade aging infrastructure or not meeting mandated regulatory regimes, are considered highly significant, given the demonstrable impact of such circumstances. Due to the rapid increase of sophisticated cyber threats targeting critical infrastructures with significant destructive effects, the cybersecurity of critical infrastructures has become an agenda item for academics, practitioners, and policy makers. A holistic view which covers technical, policy, human, and behavioural aspects is essential to handle cyber security of critical infrastructures effectively. Moreover, the ability to attribute crimes to criminals is a vital element of avoiding impunity in cyberspace. In this book, both research and practical aspects of cyber security considerations in critical infrastructures are presented. Aligned with the interdisciplinary nature of cyber security, authors from academia, government, and industry have contributed 13 chapters. The issues that are discussed and analysed include cybersecurity training, maturity assessment frameworks, malware analysis techniques, ransomware attacks, security solutions for industrial control systems, and privacy preservation methods

Development of a Low-Cost Eye Screening Tool for Early Detection of Diabetic Retinopathy using Deep Neural Network

It has been said that technology used in the lab does not directly transfer to what is done in healthcare. Research on the use of Artificial Intelligence (AI) in the diagnosis of Diabetic Retinopathy (DR) has seen tremendous growth over the last couple of years but it is also true not much of that knowledge has been transferred into practice to benefit patients in need. One reason is that it’s a new frontier with untested technologies and one that is evolving too fast. Also, the Real Healthcare situation can be very complicated presenting itself with numerous challenges starting with strict regulations to variability in populations. A solution that is implementable needs to address all these concerns including ethics, standards, and any security concerns. It is also important to note that, the current state of AI is specialized to only narrow applications and may not scale when presented with problems of varied nature. A case in point is a patient having DR may be suffering from other ailments such as Glaucoma or cataracts. DR has been a leading cause of blindness for millions of people worldwide, hard to detect when it’s treatable and therefore early eye screening is the solution. In this Capstone project, we seek to integrate Artificial Intelligence with other technologies to deliver a low-cost diagnosis to Diabetic Retinopathy at the same time trying to overcome previous impediments to the implementation of mass eye screening