Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University
SEI Podcast Series
June 15, 2017

SEI Fellows Series: Peter Feiler

 Jeffrey Smith (Microsoft)

Peter H. Feiler

"You can talk about the function of software, but if you want to talk, say performance, you only can talk about that in the context of it running on some hardware. If you want to talk about safety you have to talk about how it distributed on the hardware, how good the hardware is, in addition to how good the software is, and how well it interacts with the physical environment. These interactions present the majority of problems in embedded software systems."

"You can talk about the function of software, but if you want to talk, say performance, you only can talk about that in the context of it running on some hardware. If you want to talk about safety you have to talk about how it distributed on the hardware, how good the hardware is, in addition to how good the software is, and how well it interacts with the physical environment. These interactions present the majority of problems in embedded software systems."

Categories: Software Architecture

May 25, 2017

NTP Best Practices

 Jeffrey Smith (Microsoft)

Timur D. Snoke

"A lot of the banking applications that we are using now are using one-time passwords that are only valid for a very distinct period of time. If you can mess with what the computer thinks the time is, then you might be able to set up a window of opportunity."

"A lot of the banking applications that we are using now are using one-time passwords that are only valid for a very distinct period of time. If you can mess with what the computer thinks the time is, then you might be able to set up a window of opportunity."
May 18, 2017

Establishing Trust in Disconnected Environments

 Jeffrey Smith (Microsoft)

Grace Lewis

"One of the key features of the tactical cloudlets, like I said, is that they are discoverable. So a mobile device in the field is going to say, Are there any cloudlets around me? From a mobile-device perspective, I want to make sure that cloudlet is a friendly one. Is it a good cloudlet, right? And the other way around is also true. If I am a cloudlet and the mobile device says, I would like to connect to you, I need to know it is a good one."

"One of the key features of the tactical cloudlets, like I said, is that they are discoverable. So a mobile device in the field is going to say, Are there any cloudlets around me? From a mobile-device perspective, I want to make sure that cloudlet is a friendly one. Is it a good cloudlet, right? And the other way around is also true. If I am a cloudlet and the mobile device says, I would like to connect to you, I need to know it is a good one."

Categories:

April 20, 2017

Distributed Artificial Intelligence in Space

 Jeffrey Smith (Microsoft)

James Edmondson

"We are looking at a first prototype in low Earth orbit of about six tiles collaborating, sharing information."

"We are looking at a first prototype in low Earth orbit of about six tiles collaborating, sharing information."
March 27, 2017

Verifying Distributed Adaptive Real-Time Systems

 Jeffrey Smith (Microsoft)

Sagar Chaki

 Jeffrey Smith (Microsoft)

James Edmondson

"What we realized at that time, got really excited about, was this emergence of this class of systems that consisted of agents that are collaborating and cooperating but operating in an uncertain environment to achieve some mission and safety goals."

"What we realized at that time, got really excited about, was this emergence of this class of systems that consisted of agents that are collaborating and cooperating but operating in an uncertain environment to achieve some mission and safety goals."

Categories: