NITRD
 
NSF
     
   

November 18-20, 2008

 

Washington, DC

 
 afrl
  nsa          
 
Accepted Papers
     
Unsorted List of Accepted Papers
Download all papers ZIPPED

Paper

Title and Authors
1
Impacts of the Mobile Internet on Transportation Cyberphysical Systems: Traffic Monitoring using Smartphones [PDF]
Daniel B. Work and Alexandre M. Bayen (UC Berkeley)
2
Multi-Semantic, Decision Networks for Massively Distributed Reconfigurable Systems: Goal-Oriented Programming Models and Dynamic Optimization [PDF]
Alex Doboli (Stony Brook)
3
Position paper [PDF]
Aloysius K. Mok (UT Austin)
4
Analysis and Verification Challenges for Cyber-Physical Transportation Systems [PDF]
Edmund M. Clarke, Bruce Krogh, Andre Platzer, and Raj Rajkumar (CMU)
5
Securing Physical Processes against Cyber Attacks in Cyber-Physical Systems [PDF]
Nishanth Gaddam, G. Sudha Anil Kumar, and Arun K. Somani (Iowa State U)
6
Formal Verification of Transportation Cyber Physical Systems [PDF]
Ashish Tiwari (SRI International)
7
Wireless, Self-Organizing Cyber-Physical Systems [PDF]
Brian D. Noble and Jason Flinn (U of Michigan)
8
SAE Architecture Analysis and Design Language[PDF]
Bruce Lewis (US Army SED)
9
Developing Vehicles for Future Transportation Systems: Challenges & Research Directions [PDF]
David Garlan Bruce H. Krogh (CMU)
10
Intelligent, integrated, and Intermodal Transportation Services [PDF]
Calton Pu (Georgia Tech)
11
Position Paper for National Workshop on Research on Transportation Cyber-Physical Systems: Automotive, Aviation, and Rail [PDF]
Chuck Howell (MITRE)
12
Dependable Automotive Cyber-Physical Systems [PDF]
Chris Walter, Brian LaValley, Peter Ellis, Keith Bayer (WW Technology Group)
13
Autonomous Driving in Intermodal Goods Transport [PDF]
Dieter Zöbel (University Koblenz-Landau)
14
Scalable Design of Cyber-Physical Transportation Systems [PDF]
Dionisio de Niz (CMU)
15
Bosch as a Cyber-Physical Systems stakeholder [PDF]
Elizabeth Latronico (Robert Bosch LLC)
16
Cyber-Physical Transportation Systems: Complexity, Scalability, Efficiency, and Software Design [PDF]
Emilio Frazzoli (MIT)
17
Time-Oriented Programming [PDF]
Frank Vahid (UC Riverside)
18
Research Challenges in Cyber-Physical Systems for the Next Generation Air Transportation System [PDF]
Glenn F. Roberts (MITRE)
19
Position paper [PDF]
Gregory T. Sullivan and Basil Krikeles (BAE systems)
20
Practical Algorithms for Next Generation Air Transportation Systems [PDF]
Hamsa Balakrishnan (MIT)
21
Providing End-to-End Guarantees in Cyber-Physical Systems [PDF]
Harini Ramaprasad (Southern Illinois University Carbondale)
22
Safety of Fly-by-Wire Systems [PDF]
Herbert Hecht (SoHaR Incorporated)
23
Predictable Messaging in Wireless Automotive CPS [PDF]
Hongwei Zhang (Wayne State U)
24
Challenges of Vehicular Sensor Networks [PDF]
Ian Downes and Leonidas Guibas (Stanford U)
25
Developing Basic Research Agendas for CPS based Transportation Systems [PDF]
Steve Liu, Suman Chakravorty (Texas A&M)
26
Onboard Aviation Information Assurance [PDF]
Ravi Pendse (Wichita State University), Kamesh Namuduri (University of North Texas), Brent Holmes (AFRL)
27
Position paper [PDF]
Kenneth J. Waldron (Stanford U)
28
A Multi-participant motion-based simulation framework for transportation planning, safety, and design [PDF]
Kevin Hulme, Kemper Lewis (University at Buffalo)
29
Challenges in Aviation CPS Asset Collection and Distribution [PDF]
Krishna Sampigethaya, Scott Lintelman, Richard Robinson, Mingyan Li (Boeing Phantom Works)
30
Integrate Mixed-Criticality Components with Formalized Architectural Patterns [PDF]
Lui Sha (UIUC)
31
iSpace Model Reference CPS [PDF]
Timothy Chang (NJIT) Mo-Yuen Chow (NCSU) Simon Cobb (NCCAR) Janice Daniels (NJIT)
32
Safety and Reliability in Aerospace Cyber-Physical Systems [PDF]
Natasha Neogi (UIUC)
33
Passivity-Based Architecture for Design of Cyber-Physical Systems [PDF]
Xenofon Koutsoukos, Nicholas Kottenstette, Panos Antsaklis, Janos Sztipanovits (Vanderbilt University/ISIS and University of Notre Dame)
34
Urban-Scale Sensing for Science [PDF]
Phillip Sitbon, Nirupama Bulusu, Wu-chi Feng (Portland State University)
35
Pothole Detection and Warning System using Wireless Sensor Networks [PDF]
Sudarshan S Rode, Shonil Vijay, Prakhar Goyal, Purushottam Kulkarni, Kavi Arya (IIT Bombay, India)
36
Decentralized vehicle decisioning network [PDF]
Charles Theurer, Li Zhang, and Qing Cao (GE)
37
Real-Time Traffic Congestion Prediction [PDF]
Rahul Mangharam, Insup Lee, Oleg Sokolsky (University of Pennsylvania)
38
The Rise of the Mobile Internet: What does it mean for Transportation [PDF]
Raja Sengupta, Yaser P. Fallah (University of California, Berkeley)
39
Research Challenges in Automotive Control Software [PDF]
Rance Cleaveland (University of Maryland)
40
Software Architecture Challenges and Requirements for Transportation Cyber-Physical Systems [PDF]
Richard West and Gabriel Parmer (Boston University)
41
Position paper [PDF]
Robert Benito (MITRE)
42
Design Methodologies for Synthesis and Execution of Cyber-Physical Systems [PDF]
Soheil Ghiasi (UC Davis)
43
Swarms of Autonomous Underwater Vehicles [PDF]
Ulrich Kremer (Rutgers University)
44
Cyber-Physical Challenges in Transportation System Design [PDF]
Robert Cartwright (Rice U), Albert Cheng (U of Houston), Paul Hudak (Yale Univ.), Marcia O’Malley (Rice U), Walid Taha (Rice U)
45
Cyber-Physical Control for Future Transportation Systems [PDF]
Fumin Zhang and Wayne Wolf (Georgia Tech)
46
Building Self-Adaptive Cyber Physical Systems Using Unreliable Components [PDF]
Weisong Shi and Shinan Wang (Wayne State University)
47
Time-Predictable Design for Cyber-Physical Systems [PDF]
Wei Zhang (Southern Illionois University)
48
Transportation Cyber-Physical Systems: Reliability Modeling and Analysis Framework [PDF]
Xue Liu (McGill University at Montreal), Wenbo He (University of New Mexico), Long Zheng (McGill University at Montreal)
49
Networked CPS View of a Future Airspace [PDF]
Krishna Sampigethaya, Sudhakar Shetty, Terry Davis, Mingyan Li, Scott Lintelman, Richard Robinson (Boeing), Linda Bushnell (U of Washington)
50
Grand Challenges: Education and Cross-Cutting Challenges In Cyber-Physical Systems [PDF]
Jonathan Sprinkle (University of Arizona)
51
Architecture-independent predictable Java for multi-core platforms [PDF]
Filip Pizlo, Lukasz Ziarek, Jan Vitek (Purdue University)
52
Dependable By Construction: Cyber-Physical Systems to Bet Your Life On [PDF]
Rance J. DeLong (LynuxWorks), John Rushby (SRI International)
53
Towards Formal Framework for Modeling and Evaluation of High-Confidence Criticality-Aware Software for Distributed CPS: A White Paper [PDF]
Sandeep K. S. Gupta (Arizona State University)
54 Uncertainty and Dependability in CPS [PDF]
Daniel Mosse (University of Pittsburgh) and Hakan Aydin (George Mason University)
55
Research Challenges of Vehicle CPS to Provide Safety Enhancement [PDF]
Xiuzhen Cheng (George Washington U) and David H.C. Du (University of Minnesota)