News

Article in Venture Nashville Connections by Doug Schmidt

IDEAS: Time to step-up local university-industry collaboration in Information Technologies, an article recently published in Venture Nashville Connections by Doug Schmidt, discusses the IT industry and the difficulty in finding, training, and retaining talented IT professionals in this region.  But, there are some opportunities to find local talent when collaborating with universities and industry leaders.  Dr.

Ted Bapty quoted in Popular Mechanics article on DARPA's cutting-edge plan for auto manufacturing

According to Popular Mechanics, DARPA, the defense research group, wants better vehicles.  They want them faster and cheaper.  In order to accomplish this feat, they are looking to computer circuit builders.

Sztipanovits quoted in Wall Street Journal article on software development

According to the Wall Street Journal, GE will announce a $1 billion investment in software development over three years as it seeks to use software to make many of its products smarter and more profitable, as well as developing products capable of solving problems for customers.

At the heart of the investment is a new global software headquarters the company is building in northern California. The facility, slated to be opened by the middle of next year in San Ramon, Calif., will hire 400 software engineers and centralize its world-wide efforts.

Lecture: BLOCK: A Black-box Approach for Detection of State Violation Attacks Towards Web Applications by Xiaowei Li

State violation attacks towards web applications exploit logic flaws and allow restrictive functions and sensitive information to be accessed at inappropriate states. Since application logic flaws are specific to the intended functionality of a particular web application, it is difficult to develop a general approach that addresses state violation attacks. To date, existing approaches all require web application source code for analysis or instrumentation in order to detect state violations. In this paper, we present BLOCK, a Black-box approach for detecting state violation attacks.

CFP: Innovations in Systems and Software Engineering-Special Issue on Software Health Management - Editors: M. Hinchey; S.A. Bohner, Guest Editors: Abhishek Dubey, Gabor Karsai, Paul Miner

Software is increasingly becoming the main implementation tool for system functions and systems integration in complex vehicles. This leads to increases in complexity, such that it becomes exceedingly hard to exhaustively test and verify the software. As a consequence, latent faults could remain in deployed systems that manifest themselves only during operation.

Ron Diftler-Guest lecturer, Thursday, November 10 at 3:00 in the Lecture Hall

Robonaut 2, or R2, arrived on the International Space Station in February 2011 and is currently undergoing testing in preparation for it to become, initially, an Intra-Vehicular Activity (IVA) tool, and then evolve into a system that can perform Extra-Vehicular Activities (EVA).  For approximately one year, the fixed base R2 will perform a variety of experiments using a reconfigurable task board that was launched with the robot. 

125th Anniversary John R and Donna S. Hall Engineering Lecture Series-Arun Majumdar

ARPA-E: CATALYZING ENERGY BREAKTHROUGHS FOR A SECURE AMERICAN FUTURE

Lecture: Low Complexity Resilient Consensus in Networked Multi-Agent Systems with Adversaries by Heath LeBlanc

Friday, October 28 at 11:00 am in the Gray conference room on the first floor. ISIS 1025 16th Ave. South. 

Recently, many applications have arisen in distributed control that require consensus protocols. Concurrently, there have been a proliferation of malicious attacks on large-scale distributed systems. This talk addresses reaching consensus in the presence of adversaries, whenever the network is itself changing due to lossy channels or mobile agents.

 

Resource Management in Networked Embedded Control Systems by Jerome Le Ny September 29, 2011

September 29th at 3:00 pm in the Gray conference room on the first floor. ISIS 1025 16th Avenue South.

Almost all modern control systems are implemented on digital platforms, and many of them are embedded systems.
Unfortunately, the well-rounded theory of digital control has not kept pace with the multitude of complex system integration issues raised by this trend. Many of the aspects that could formerly be qualified by the control engineer as "implementation issues" play today a crucial role in determining the viability of the overall system, with respect to performance, cost, reliability, maintainability, etc.

Lecture by Daniel Balasubramanian: Polyglot: Modeling and Analysis for Multiple Statechart Formalisms

In large programs such as NASA Exploration, multiple systems that interact via safety-critical protocols are already designed with different Statechart variants. To verify these safety-critical systems, a unified framework is needed based on a formal semantics that captures the variants of Statecharts. We describe Polyglot, a unified framework for the analysis of models described using multiple Statechart formalisms. In this framework, Statechart models are translated into Java and analyzed using pluggable semantics for different variants operating in a polymorphic execution environment.