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
Top Related