2011 IEEE International SystemsConference

(SysCon 2011)

Montreal, QC, Canada

4-7 April 2011

IEEE IEEE Catalog Number: CFPllSYT-PRT

ISBN: 978-1-4244-9494-1

TABLE OF CONTENTS

CONFERENCE CHAIR WELCOME MESSAGE xv

2011 IEEE INTERNATIONAL SYSTEMS CONFERENCE ORGANIZERS xvi

KEYNOTES xvii

TECHNICAL PAPERS 1

Tuesday, April 5

1:00 PM-5:00 PM

Poster Sessions

A Statistical Model for System Components Selection 1

Varuna Gupta (Florida Atlantic University, USA)Abdelkader Mazouz (Florida Atlantic University, USA)Ankur Agarwal (Florida Atlantic University, USA)Georgiana Hamza-Lup (Florida Atlantic University, USA)

Sensor Integration and Analysis for Visual Identification of Environmental Patterns 7

Patricia Morreale (Kean University, USA)Johana Callegari (Kean University, USA)Guillermo Valle (Kean University, USA)Francis Kendall (Kean University, USA)

A Microcontroller-Based Multi-Function Solar Tracking System 13

A. Kassem (Notre Dame University-Louaize, Lebanon)M. Hamad (Notre Dame University-Louaize, Lebanon)

An Integrated Wireless Indoor Navigation System for Visually Impaired 17

Mahmoud Al-Qutayri (Khalifa University, UAE)Jeedella Jeedella (Khalifa University, UAE)Majid Al-Shamsi (Khalifa University, UAE)'Paper presented In the Medical Systems Session

Analyzing the Influence of Zeroth Responders on Resilience of the Maritime Port Enterprise 24

Qing Li (Stevens Institute of Technology, USA)Brian Sauser (Stevens Institute of Technology, USA)Jose E. Ramirez-Marquez (Stevens Institute of Technology, USA)

Bounding Inertial Drift with Human Gait Dynamics for Personal Navigation 28

Yan Cui (Purdue University, USA)Kartik B. Ariyur (Purdue University, USA)

iii

Complex Automation of a Technological Process on the Basis of Control Systemswith a Three Level Structure 34

Gulnara Abitova (Eurasian National University, Kazakhstan)Mamirbek Beisenbi (Eurasian National University, Kazakhstan)Vladimir Nikulin (Binghamton University (SUNY), USA)

1:30 PM-3:15 PM

Session: Comprehensive Cyber Security Approaches for Complex Systems

Monitoring and Management Approach for Cyber Security Events over Complex Systems 38

Paul C. Hershey (Raytheon, Inc., USA)Charles B. Silio, Jr. (University of Maryland, USA)

Computing the Impact of Cyber Attacks on Complex Missions 46Scott Musman (The MITRE Corporation, USA)Mike Tanner (The MITRE Corporation, USA)Aaron Temin (The MITRE Corporation, USA)Evan Elsaesser (The MITRE Corporation, USA)Lewis Loren (The MITRE Corporation, USA)

Automatic attack scenario discovering based on a new alert correlation method 52

Ali Ebrahimi (Islamic Azad University of Shabestar, Iran)Ahmad Habibi Zad Navin (Islamic Azad University of Shabestar, Iran)Mir Kamal Mirnia (Tabriz University, Iran)Hadi Bahrbegi (Islamic Azad University of Shabestar, Iran)Amir Azimi Alasti Ahrabi (Islamic Azad University of Shabestar, Iran)

Session: Model-Based Systems Engineering

A Model Driven Framework for N-Version Programming 59

Craig A. Lewis (Royal Military College of Canada, Canada)Ron W. Smith (Royal Military College of Canada, Canada)Alain Beaulieu (Royal Military College of Canada, Canada)

Attribute-Oriented Modeling - Another Dimension for Model-Based Systems Engineering 66

Takahiro Yamada (ISAS /JAXA, Japan)

Modeling and Verifying Security Protocols using UML 2 72

Sandra Smith (Royal Military College of Canada, Canada)Alain Beaulieu (Royal Military College of Canada, Canada)W. Greg Phillips (Royal Military College of Canada, Canada)

Session: Energy Management and Sustainability, including Renewable Energy

Optimization of the Hydrogen Production from Wind Energy for the Supply of Green HydrogenRefuelling Stations 80

Hanane Dagdougui (University of Genoa, Italy)Ahmed Ouammi (University of Genoa, Italy)Roberto Sacile (University of Genova, Italy)

iv

Optimal control of a regional power microgrid network driven by wind and solar energy 86

Hanane Dagdougui (University of Genoa, Italy)Riccardo Minciardi (University of Genova, Italy)Ahmed Ouammi (University of Genoa, Italy)Roberto Sacile (University of Genova, Italy)

Factors affect on the UFLS: Experimental Results 91

Rasha M. El Azab (Vrije Universiteit Brussel, Belgium)E. H. Shehab EIDin (Helwan University, Egypt)P. Lataire (Vrije Universiteit Brussel, Belgium)M. M. Sallam (Helwan University, Egypt)

Session: Enterprise System Engineering

Optimizing Live Migration of Virtual Machines Across Wide Area Networks Using IntegratedReplication and Scheduling 97

Sumit Kumar Bose (Unisys Corporation, India)Scott Brock (Unisys Corporation, USA)Ronald Skeoch (Unisys Corporation, USA)Nisaruddin Shaikh (Unisys Corporation, USA)Shrisha Rao (International Institute of Information Technology-Bangalore, India)

Development of an Integrated Security Framework to Enable the Control and Security of a

Heterogeneous Enterprise 103

B. Farroha (U.S. Department of Defense, USA)K. Essman (U.S. Department of Defense, USA)D. Farroha (U.S. Department of Defense, USA)A. Cohen (U.S. Department of Defense, USA)

Enterprise Systems Governance using Transactional Cost Analysis: An Agent-Based Framework 109

Hamid R. Darabi (Stevens Institute of Technology, USA)Mo Mansouri (Stevens Institute of Technology, USA)Ali Mostashari (Stevens Institute of Technology, USA)Babak Heydari (Stevens Institute of Technology, USA)

3:30 PM - 5:45 PM

Session: Service Oriented Architectures

Web Services for Handheld Tactical Systems 115

Soumya Simanta (CMU Software Engineering Institute, USA)Dan Plakosh (CMU Software Engineering Institute, USA)Ed Morris (CMU Software Engineering Institute, USA)

SOA Migration Case Studies and Lessons Learned 123

Pushparani Bhallamudi (Florida Institute of Technology, USA)Scott Tilley (Florida Institute of Technology, USA)

Evaluating the Capabilities of SOA Security Testing Tools 129

Nawwar Kabbani (Florida Institute of Technology, USA)Scott Tilley (Florida Institute of Technology, USA)

V

Report from the 5th and 6th International Workshops on Adoption-Centric Software Engineering:Migrating to SOA 135

Scott Tilley (Florida Institute of Technology, USA)

Session: Medical SystemsRoom:

Remote Monitoring-Control System for Future Wearable-Portable Dialysis Devices 140

Alexandru Soceanu (Munich University of Applied Sciences, Germany)Sergio Congiu (University of Padova, Italy)Nicolae Goga (University of Groningen, Netherlands)

A Novel Empirical Mode Decomposition Based System For Medical Image Enhancement 145

Somayeh Bakhtiari (University of Texas at San Antonio, USA)Sos Agaian (University of Texas at San Antonio, USA)Mo Jamshidi (University of Texas at San Antonio, USA)

How Are You Feeling? A Social Network Model to Monitor the Health of Post-Operative Patients 149

James J. Mulcahy (Florida Atlantic University, USA)

Shihong Huang (Florida Atlantic University, USA)Junwei Cao (Tsinghua University, China)Fan Zhang (Tsinghua University, China)

Session: Research in Systems Engineering

Optimal Distributed and Cooperative Supervisory Estimation of Multi-Agent Systems Subjectto Unreliable Information 155

M. M. Tousi (Concordia University, Canada)S. Azizi (Concordia University, Canada)K. Khorasani (Concordia University, Canada)

Contextualizing Agile Systems Engineering 163

Ernst Stelzmann (Graz University of Technology, Austria)

Do Agile Software Development Practices Increase Customer Satisfaction in

Systems Engineering Projects? 168

Markus Kohlbacher (CAMPUS 02 University of Applied Sciences, Austria)Ernst Stelzmann (Graz University of Technology, Austria)Sabine Maierhofer (Graz University of Technology, Austria)

Group Identity in Social and Cultural Systems 173

Brian Moriarty (Stevens Institute of Technology, USA)

Session: Agile methods, Complex Systems and LCMM

Room:

Robust Corrective and Preventive Action(CAPA) 177

Amir Hatami Hardoroudi (University of Technology Malaysia, Malaysia)Ali Farhang Dareshuri (University of Technology Malaysia, Malaysia)Haslina Md. Sarkan (University of Technology Malaysia, Malaysia)Mona Nourizadeh (City University College of Science and Technology, Malaysia)

vi

Agile Development for System of Systems: Cyber Security Integration into Information RepositoriesArchitecture 182

Deborah L. Farroha (U.S. Department of defense, USA)Bassam S. Farroha (U.S. Department of defense, USA)

Normative Approach to Six Sigma Project Selection 189

Mahmood Al Kindi (Sultan Qaboos University, Oman)

Wednesday, April 6

8:00 AM - 9:45 AM

Session: Comprehensive Cyber Security Approaches for Complex Systems

Supply Chain Risk Management - Understanding Vulnerabilities in Code You Buy,Build, or Integrate 194

Paul R Croll (CSC, USA)

Risks Associated with USB Hardware Trojan Devices Used by Insiders 201

John Clark (Royal Military College of Canada, Canada)Sylvain Leblanc (Royal Military College of Canada, Canada)Scott Knight (Royal Military College of Canada, Canada)

Energy Security of Military and Industrial Systems: Multicriteria Analysis of Vulnerability to EmergentConditions including Cyber Threats 209

James H. Lambert (University of Virginia, USA)Christopher W. Karvetski (University of Virginia, USA)Michelle C. Hamilton (University of Virginia, USA)Igor Linkov (U.S. Army Corps of engineers, USA)

Session: Engineering System-of-Systems

An Implementers' View of Systems Engineering for Systems of Systems 212

Judith Dahmann (MITRE Corporation, USA)George Rebovich (The MITRE Corporation, USA)Ralph Lowry (Modern Technology Solutions, USA)Jo Ann Lane (University of Southern California, USA)Kristen Baldwin (U.S. Department of Defense, USA)

Self-organizing Cooperative Dynamics in Government Extended Enterprises: Essential Concepts 218

Lawrence John (Analytic Services, Inc., USA)Tom McCormick (Alpha Informatics Ltd., USA)Patricia McCormick (Alpha Informatics Ltd., USA)John Boardman (Stevens Institute of Technology, USA)

Self-organizing Cooperative Dynamics in Government Extended Enterprises:Experimental Methodology 224

Lawrence John (Analytic Services, Inc., USA)Tom McCormick (Alpha Informatics Ltd., USA)Patricia McCormick (Alpha Informatics Ltd., USA)John Boardman (Stevens Institute of Technology, USA)

vii

Session: Modeling and Simulation

Dynamical System Approach to Insider Threat Detection 232

Nitin Kanaskar (University of Arkansas at Little Rock, USA)Jiang Bian (University of Arkansas at Little Rock, USA)Remzi Seker (University of Arkansas at Little Rock, USA)Mais Nijim (Texas A&M University, USA)Nuri Yilmazer (Texas A&M University, USA)

Systems Engineering Approach to CPU Scheduling for Mobile Multimedia Systems 239

Abbas A. Al-Muhsen (University of Arkansas at Little Rock, USA)Radu F. Babiceanu (University of Arkansas at Little Rock, USA)

Session: Systems Engineering Competency, Education and Training

Statistical Distances of Measurements for Quality Control 244

Vesa Hasu (Aalto University, Finland)

Work In Process: A Body of Knowledge and Curriculum to Advance

Systems Engineering (BKCASE) 250

Alice Squires (Stevens Institute of Technology, USA)Nicole Hutchison (Stevens Institute of Technology, USA)Art Pyster (Stevens Institute of Technology, USA)Timothy L.J. Ferris (University of South Australia, Australia)David Olwell (Naval Postgraduate School, USA)Stephanie Enck (Naval Postgraduate School, USA)Don Gelosh (U.S. Department of Defense, USA)

Addressing the Challenges Educating System Engineers for the Armed Forces 256

Anthony Mitchell (Air Force Institute of Technology, USA)Katherine Wallace (Air Force Institute of Technology, USA)J. Robert Wirthlin (Air Force Institute of Technology, USA)

Session: System Architecture and Architectural Frameworks

An Integrated Component Selection Framework for System-Level Design 261Chad Calvert (Florida Atlantic University, USA)Georgiana L. Hamza-Lup (Florida Atlantic University, USA)Ankur Agarwal (Florida Atlantic University, USA)Bassem Alhalabi (Florida Atlantic University, USA)

An Architectural Efficiency Based Methodology for Assessing the Relative Merit of Synchronous vs.

Asynchronous Service Invocations 267

George Zakharia (CT04u LLC, France)

Cognitive Context Modeling in the Socio-Technical Systems 272

Babak Heydari (Stevens Institute of Technology, USA)Joseph Mitola (Stevens Institute of Technology, USA)Ali Mostashari (Stevens Institute of Technology, USA)

8:00 AM - 5:00 PM - Poster Session

viil

10:15 AM-12:00 PM

Session: Comprehensive Cyber Security Approaches for Complex Systems

A Scalable Role-based Group Key Agreement and Role Identification Mechanism 278

Jiang Bian (University of Arkansas at Little Rock, USA)Remzi Seker (University of Arkansas at Little Rock, USA)Umit Topaloglu (University of Arkansas at Little Rock, USA)Coskun Bayrak (University of Arkansas at Little Rock, USA)

Architecting a Secure Enterprise Data Sharing Environment to the Edge 282

Bassam S Farroha (U.S. Department of Defense, USA)Deborah Farroha (U.S. Department of Defense, USA)

Session: Transportation Systems

Updating Road Network Databases Using GNSS 288

Christophe Boucher (University Lille Nord de France, France)Jean-Charles Noyer (University Lille Nord-de-France, France)

Optimal traffic flow assignment for planned deliveries in dangerous good transportation 292

Claudio Roncoli (University of Genova, Italy)Chiara Bersani (University of Genova, Italy)Roberto Sacile (University of Genova, Italy)Riccardo Minciardi (University of Genova, Italy)

Sliding Mode Control of Crowd Dynamics 298

Sabiha A. Wadoo (New York Institute of Technology, USA)

Session: Applied Topics in Systems Engineering

System for Performance Analysis of Priority-based Radar Schedulers 303

Christopher Bartley (Mission Solutions Engineering, USA)Adrian Rusu (Rowan University, USA)Robert Russell (Rowan University, USA)Daniel Urbano (Rowan University, USA)Stephen Cirner (Rowan University, USA)

Robustness for Large Scale UAV Autonomous Operations 309

Sunghun Jung (Purdue University, USA)Kartik B. Ariyur (Purdue University, USA)

Enterprise Governance and Boundary Decisions: The Case of Wireless Technology 315

Babak Heydari (Stevens Institute of Technology, USA)Matthias Finger (Ecole Polytechnique Fdrale Lausanne, Switzerland)

Session: System Reliability

Reliability optimization of multi-state weighted k-out-of-n systems by fuzzy mathematical

programming and genetic algorithm 379

V. Ebrahimipour (University of Tehran, Iran)M. Sheikhalishahi (University of Tehran, Iran)

ix

Application of multi-objective particle swarm optimization to solve a fuzzy multi-objective reliabilityredundancy allocation problem 326

V. Ebrahimipour (University of Tehran, Iran)M. Sheikhalishahi (University of Tehran, Iran)

Session: System Architecture and Architectural Frameworks/Enterprise Systems Engineering

Improving the Evolutionary Architecting Process for Embedded System Product Lines 334

Jakob Axelsson (MSIardalen University, Sweden)

A Stakeholder's Approach to Systemic Governance in Extended Enterprises 342

Mayur M. Chikhale (Stevens Institute of Technology, USA)Mo Mansouri (Stevens Institute of Technology, USA)Ali Mostashari (Stevens Institute of Technology, USA)

1:30 PM-3:15 PM

Session: Sensors Integration and Application for a Net-centric Environment

Sufficient Conditions for Accelerated Consensus over Random Networks 348

Stephane Blouin (Defense R&D Canada, Canada)

Software and Communications Architecture for Prognosis and Health Monitoring of

Ocean-based Power Generator 353

lonut Cardei (Florida Atlantic University, USA)Ankur Agarwal (Florida Atlantic University, USA)Bassem Alhalabi (Florida Atlantic University, USA)TimurTavtilov (Florida Atlantic University, USA)Taghi Khoshgoftaar (Florida Atlantic University, USA)Pierre-Philippe Beaujean (Florida Atlantic University, USA)

A Holonic Federated Sensor Management Framework for Pervasive Surveillance Systems 361

Allaa R. Hilal (University of Waterloo, Canada)Alaa Khamis (University of Waterloo, Canada)Otman Basir (University of Waterloo, Canada)

Session: Model-Based Systems Engineering

Systems Engineering Education for Inexperienced Students by Providing Hand-on Practices 367

Keiko Shimazu (Keio University, Japan)Yoshiaki Ohkami (Keio University, Japan)

Applying a Robust Design Approach to Improve Online Systems Engineering Education 371

Alice Squires (Stevens Institute of Technology, USA)Robert Cloutier (Stevens Institute of Technology, USA)

Session: Modeling and Simulation

Longitudinal Autopilot Controllers Test Platform Hardware in the Loop 379

Sergio Ronaldo Barros dos Santos (Aeronautical Institute of Technology, Brazil)Neusa Maria F. de Oliveira (Aeronautical Institute of Technology, Brazil)

x

System Architecture Pliability and Trading Operations in Tradespace Exploration 387

Brian Mekdeci (Massachusetts Institute of Technology, USA)Adam M. Ross (Massachusetts Institute of Technology, USA)Donna H. Rhodes (Massachusetts Institute of Technology, USA)Daniel Hastings (Massachusetts Institute of Technology, USA)

A SD model for the electrical market considering inflation and regulation strategies 395Yu Ying (Shanghai University, China)Ji Zhu (Shanghai University, China)

Session: Aerospace and Systems Thinking Benefits

Developing a Business Case for Systems Engineering 401

Joseph P. Elm (Carnegie Mellon University, USA)Robert C. Rassa (Raytheon, USA)

A Mathematical Foundation for TRIZ methods 409

Kartik B. Ariyur (Purdue University, USA)

Session: INCOSE

3:30 PM - 5:45 PM

Session: Applied Topics in Systems Engineering

A Systemic approach to managing risks of SoS 412

S. Jimmy Gandhi (Stevens Institute of Technology, USA)Alex Gorod (Stevens Institute of Technology, USA)Brian Sauser (Stevens Institute of Technology, USA)

Camera Control with EMG Signals using Principal Component Analysis and

Support Vector Machines 417

Mustafa Sezer Erkilinc (Rochester Institute of Technology, USA)Ferat Sahin (Rochester Institute of Technology, USA)

Evaluating Risks Associated with Extended Enterprise Systems (EES) 422

Anirban Ganguly (Stevens Institute of Technology, USA)Mo Mansouri (Stevens Institute of Technology, USA)

Robust Observer-based Fault Diagnosis for an Unmanned Aerial Vehicle 428M. M. Tousi (Concordia University, Canada)K. Khorasani (Concordia University, Canada)

Session: Engineering System-of-Systems

Local Energy Storage as a Decoupling Mechanism for Interdependent Infrastructures .435Alexis Kwasinski (The University of Texas at Austin, USA)

A Risk Modelling Approach for a Communicating System of Systems 442Jonathan M. Aitken (University of York, United Kingdom)Rob Alexander (University of York, United Kingdom)Tim Kelly (University of York, United Kingdom)

xi

Integration of Unmanned Aircraft System (UAS) in Non-segregated Airspace:A Complex System of Systems Problem 448

Karthik Ramalingam (Loughborough University, United Kingdom)Roy Kalawsky (Loughborough University, United Kingdom)Chris Noonan (Loughborough University, United Kingdom)

Session: Energy Management and Sustainability, including Renewable Energy

Energy Conservation in Cloud Infrastructures 456

Avinash Merita (International Institute of Information Technology, India)Mukesh Menaria (International Institute of Information Technology, India)Sanket Dangi (International Institute of Information Technology, India)Shrisha Rao (International Institute of Information Technology, India)

Controlling district Heating Load through Prices 461

Jan van Deventer (Lulea University of Technology, Sweden)Jonas Gustafsson (Lulea University of Technology, Sweden)Jerker Delsing (Lulea University of Technology, Sweden)

Session: Engineering Processes for Complex Systems

Integration of Operations in Process Systems: Complexity and Eemergent Properties 466

Ali G. Hessami (Vega Systems, United Kingdom)Nicos Karcanias (City University, United Kingdom)

Architecting Complex Embedded Systems: An Industrial Case Study 472

Hakan Gustavsson (Malardalen University, Sweden)Jakob Axelsson (Malardalen University, Sweden)

An Evolving Understanding for Predicting Emergent Properties 479

Susan Ferreira (The University of Texas at Arlington, USA)Jenny Tejeda (The University of Texas at Arlington, USA)

Developing Complex Systems - Incorporating Human Variability into the Process 484

Stephanie M. White (Long Island University, USA)Jerry M. Owens (System World Inc., USA)

INCOSE

Thursday, April 7

8:00 AM - 9:45 AM

Session: Special Session on Biometrics Privacy: Technology and Applications

A Fuzzy Vault Implementation for Securing Revocable Iris Templates 491

Marwa Fouad (University of Ottawa, Canada)Abdulmotaleb El Saddik (University of Ottawa, Canada)|Jiying Zhao (University of Ottawa, Canada)Emil Petriu (University of Ottawa, Canada)

xii

Bioconvolving: Cancelable Templates for a Multi-Biometrics Signature Recognition System 495Ernanuele Maiorana (University of Roma Tre, Italy)Patrizio Campisi (University of Roma Tre, Italy)Alessandro Neri (University of Roma Tre, Italy)

Input Images in Iris Recognition Systems: A Case Study 501

Inmaculada Tomeo-Reyes (Carlos III University of Madrid, Spain)Judith Liu-Jimenez (University Carlos III of Madrid, Spain)Ivan Rubio-Polo (Carlos III University of Madrid, Spain)Jorge Redondo-Justo (Carlos III University of Madrid, Spain)Raul Sanchez-Reillo (University Carlos III of Madrid, Spain)

Session: Model-Based Systems Engineering

Integrated Tool-Based Approach for the Conceptual Design of Advanced Wlechatronic Systems 506Harald Anacker (University of Paderborn, Germany)Rafal Dorociak (University of Paderborn, Germany)Roman Dumitrescu (University of Paderborn, Germany)Jurgen Gausemeier (University of Paderborn, Germany)

Control of Swarms of Autonomous Robots Using Model Driven Development- A State-Based Approach 512

Dany Ouellet (Royal Military College of Canada, Canada)Sidney N. Givigi (Royal Millitary College of Canada, Canada)Alain J.G. Beaulieu (Royal Military College of Canada, Canada)

A Petri Net-T3SD Policy Driven Method for IT Infrastructure Selection in Smart Grid 520

M.A. Zamani (University of Tehran, Iran)A. Fereidunian (University of Tehran, Iran)S. Sharif Mansouri (University of Tehran, Iran)M.A. Sharif! K. (University of Tehran, Iran)F. Boroomand (Concordia University, Canada)H. Lesani (University of Tehran, Iran)

Session: Modeling and Simulation

Fast Mixed-Signal Simulation using SystemC 527

Stefan Hoelldampf (Leibniz Universitat Hannover, Germany)Daniel Zaum (Leibniz Universitat Hannover, Germany)Ingmar Neumann (Continental Corporation, Germany)Markus Olbrich (Leibniz Universitat Hannover, Germany)Erich Barke (Leibniz Universitat Hannover, Germany)

Anticipatory Retrieval and Caching of Data for Mobile Devices in Variable-Bandwidth Environments 531

Bharath Cheluvaraju (International Institute of Information Technology, India)Aravalli Srinivasa Ramachandra Kousik (International Institute of Information Technology, India)Shrisha Rao (International Institute of Information Technology, India)

Using PCA and Pareto optimality to select flexible manufacturing systems 538

K. Rezaie (University of Tehran, Iran)Abdorrahman Haeri (University of Tehran, Iran)

xiii

8:30 AM - 9:45 AM

Session: Program/Project Management for Complex Systems

An Application of Control System in Strategic Management 542

Mani M. Tousi (Concordia University, Canada)

Need for a Framework for the Assessment, Evaluation and Measurement of System Maturity, SystemReadiness and Capability Readiness 548

Abideen Tetlay (Raytheon Company, United Kingdom)

10:00 AM-11:45 AM

Session: Systems Verification and Validation

On Formal Verification of Toyota's Electronic Throttle Controller 552

Ji Ras (NA, USA)Albert M.K. Cheng (University of Houston, USA)

An Approach toward Reuse of Engineering Models in the Automation of System Verification 556

George J. Foster (Naval Surface Warfare Center Dahlgren Division, USA)Annette L. Helm (Naval Surface Warfare Center Dahlgren Division, USA)

Session: Model-Based Systems Engineering

Functional Analysis of Systems Using a Functional Basis 563

Ryan M. Arlitt (Missouri University of Science and Technology, USA)Kristen Donovan Balinski (Missouri University of Science and Technology, USA)Cihan H. Dagli (Missouri University of Science and Technology, USA)Katie Grantham (Missouri University of Science and Technology, USA)

Predictive Engineering of an of an Unmanned Aerial System (UAS) using the Architecture Analysisand Design Language (AADL) 569

Jeanette B. Barott (Embry-Riddle Aeronautical University, USA)David P. Gluch (Embry-Riddle Aeronautical University, USA)Savannah L. Kirby (Embry-Riddle Aeronautical University, USA)

Special Session in Optimization Techniques

Situational Awareness based Flight Control of a Drone 574

IgorAstrov (Tallinn University of Technology, Estonia)Andrus Pedai (Tallinn University of Technology, Estonia)

Optimization in Radiosurgery Treatment Planning 579

Hosein Marzi (St. Francis Xavier University, Canada)Yi Jia Lian (St. Francis Xavier University, Canada)

AUTHOR INDEX 584

xiv