June 2020

ANDREW J. KORNECKI

SUMMARY OF QUALIFICATIONS:

Over thirty years research and teaching experience in areas of computer, systems, control, and software engineering with the emphasis on real-time safety critical software and computer simulation.

BUSINESS:

Department of Electrical Engineering and Computer Science

College of Engineering, Embry-Riddle Aeronautical University,
Daytona Beach, Florida, 32114,
phone: (386) 226-6455, fax: (386) 226-6678;
e-mail: kornecka@erau.edu 
Wide World Web: http://pages.erau.edu/~kornecka

BIRTHDATE & PLACE: December 27, 1946 - Krakow, Poland
CITIZENSHIP: USA (naturalized 1991)
MARITAL STATUS: Married, two children
LANGUAGES: English, Polish, Russian, German


EDUCATION:

Ph.D. Technical Science (diploma #1460)

Specialization: System Engineering;

School: AGH University of Science and Technology, Krakow, Poland
Post-graduate Coursework: 1971-1974
Doctoral Exam: June 19, 1975
Degree Awarded: July 1, 1975
Degree Conferred: December 6, 1976
Theses: "Mathematical Model, Computer Simulation, and Optimal Control of Rotary Clinker Kiln"

M.Sc. Electrical Engineering (diploma #1025/VI/70/WE)

Major: Control and Computer Engineering;

School: AGH University of Science and Technology, Krakow, Poland
Undergraduate Coursework: 1965-1968
Graduate Coursework: 1968-1970
Master Exam: March 25, 1970
Degree Awarded: April 10, 1970
Theses: "White Noise Generator - Technical Design"


PROFESSIONAL EXPERIENCE:

  • Electrical Engineering and Computer Science Department, College of Engineering, Embry Riddle Aeronautical University, Daytona Beach, FL, USA

Professor Emeritus, 2016-present

Professor with Tenure, 1992-2016

Associate Professor with Tenure 1990-1992

Associate Professor 1985-1990

Teaching courses in Master of Software Engineering graduate program (Simulation and Software Engineering, Design and Implementation of Real-Time Systems, Performance Analysis of Real-Time Systems, Software Safety and Certification) and in Computer Science / Computer Engineering undergraduate programs (Modeling and Simulation, Real-Time Systems, Introduction to Microprocessors, Computer Organization, Digital Logic, Discrete Structures, Scientific Programming, Introduction to Computer Engineering); university and department committee services (Faculty Senate, Promotion & Tenure, Research, Nomination, and Grievance Committees, Honors Program, Curriculum and Master Program Working Groups); supervising graduate and undergraduate students, sponsored research on internally and externally funded projects: system safety and certification, assessment of software tools, modeling simulation in aviation industry, air traffic control management, expert systems for air traffic control, real-time system design for aviation training; conference organization, paper reviews, editorial work.

  • Cardiac Rhythm Management Division, Guidant Corporation, St. Paul MN,

Visiting Researcher, 2001-2002

Sabbatical assignment dedicated to working on evaluation of safety processes at CRM and providing training to the engineering personnel on real-time and software safety.

  • Office of Operations Research (AOR), Federal Aviation Administration, Washington D.C., USA

Visiting Researcher, 1992

6-month IPA assignment for developing the concept, designing prototype, and managing a program on application of knowledge-based paradigm to support the operations of Air Traffic Control Systems Command Center.

  • Department of Computer Science, College of Arts and Science, University of Kentucky, Lexington, KY., USA,

Assistant Professor, 1983-1985

Teaching undergraduate courses in System Simulation, Numerical Methods, Numerical Analysis, Digital Logic, Computer Programming; departmental committee assignments, M.S. theses committee, non- sponsored research on computer simulation of control systems.

  • Electrical Engineering Department, School of Engineering, Garyounes University, Benghazi, Libya

Assistant Professor, 1980-1983

Teaching undergraduate courses in Computer Programming, Numerical Analysis; B.S. theses committee; departmental committee assignments; non-sponsored research on modeling and simulation in control systems and civil engineering applications.

  • Institute of Computer Science and Control Engineering, College of Electrical Engineering, AGH University of Science and Technology, Krakow, Poland

Assistant Professor, 1975-1980
Senior Teaching Assistant, 1974-1975
Teaching Assistant/Doctoral Fellow, 1971-1974

Teaching undergraduate and graduate courses in Computer Control of Technological Processes, Computer Programming, Process Modeling and Identification, Real-Time Systems, System Simulation; M.S. theses committee; departmental and university committee assignments; designing teaching materials: co-author of a textbook on CSSL-3 and CYBER system operations; externally sponsored research on modeling, computer simulation, and complex control of technological processes in building materials and chemical industry, civil engineering, and econometric applications.

  • Institute of Control Engineering and Industrial Electronics, College of Electrical Engineering, AGH University of Science and Technology, Krakow, Poland

Assistant Engineer, 1970-1971

Collecting system requirements, documentation, and model development for industrial control systems.


GENERAL RESEARCH INTEREST:

  • Software Safety and Certification
  • Real-Time Software Development
  • Real-Time Safety Critical System Testing, Verification and Validation
  • Engineering Curricula
  • Modeling and Computer Simulation for Decision Support
  • Object-Oriented Analysis and Design
  • Expert Systems
  • Logic Design and Microprocessor for Embedded Applications

 

PROJECTS:

  • Human-In-The-Loop Simulation for NextGen 4D FMS TBO –  FAA
  • international and interdisciplinary engineering curricula –  FIPSE
  • software tools for programmable logic devices –  FAA
  • SixSigma for software defects reduction – Guidant
  • software development tools with automatic code generation features – FAA, Guidant
  • safety assessment and process –  Guidant
  • real-time software development training –  FAA
  • knowledge base and a prototype expert system for training en-route air traffic controllers
  • object-oriented simulation of an air traffic control sector with user-friendly graphic interface, to support the training – FL HighTech
  • interfacing simulation and expert systems – FHTIC
  • knowledge-based decision support system for air traffic system management –  FAA
  • statistical analysis of air traffic sector traffic –  FAA
  • analysis and validation of the national airspace simulation models –  ERAU
  • real-time software requirements analysis and design –  ERAU
  • distributed simulation for the national airspace system interfacing weather, air traffic control, and flight simulators –  ERAU
  • curriculum development for hardware and real-time track –  ERAU
  • granted Fulbright Scholarship for teaching and research abroad (not accepted)
  • undergraduate computer engineering program concept and implementation –  ERAU
  • testing Flight Data Processing software –  Lockheed-Martin
  • testing programmable pager device development environment –  Motorola
  • real-time safety critical embedded system: verification and validation, testing architecture –  Guidant


HARDWARE, SOFTWARE AND OPERATING SYSTEMS EXPERIENCE:

  • CDC6000, ICL1900, IBM3083, IBM4361, Prime400, Prime850, VAX750, MicroVax, Symbolics, Silicon Graphics, Sun, HP, IBM PC and compatibles,
  • Fortran, Pascal, BASIC, Intel/Assembly, Motorola/Assembly, CSSL, CSMP, Simscript, Tutsim, Slam, Prolog, Lisp, Smalltalk, Ada, C, C++, MODSIM, Java
  • UNIX/AIX, DOS/Windows, VMS, VxWorks/Tornado, QNX, LynxOS, Linux
  • Real Time Workshop, Rhapsody, SCADE, Rational Rose, Artisan Studio, Statemate, Esterel Studio

 

PROFESSIONAL ASSOCIATIONS:

  • Radio Technical Commission for Aeronautics  Committee (RTCA)
    • SC216/WG-72 Committee on Aeronautical Systems Security 2016-2020
    • SC205/WG71 Committee on Software Considerations in Aeronautical Systems, 2005-2012
    • SC190/WG52 Committee on CNS/ATM Systems Software Integrity Assurance, 1999-2001
  • National Academies of Sciences and Engineering (NAS)
    • Special Committee on Aging Avionics in Military Aircraft, 2000-2001
  • The International Federation for Automatic Control (IFAC),
    • Technical Committee on Air Traffic Control (1995-1996)
  • International Journal of Computer Simulation (IJCS)
    • Editorial Board (1992-1994)
  • The Society for Computer Simulation International (SCSI),
    • Board of Directors (1990-1991)
  • Florida Artificial Intelligence Research Society, Inc. (FLAIRS),
    • Founding Member (1988), Membership Director (1990-1991)
  • The Institute of Electrical and Electronics Engineers (IEEE),

 

GRANTS:

  • Principal Investigator:
    • Dependable Systems International Research and Educational Experience (DeSIRE^2), US Department of Education, FIPSE, 2008-2014 ($180K)
    • International Learning Environment for Real Time Systems (ILERT), US Department of Education, FIPSE, 2006-2009 ($65K)
    • A Study on Tool Qualification for Complex Electronic Hardware, Federal Aviation Administration - Technical Center, 2007-2009 ($217K)
    • Assessment of Software Development Tools for Safety Critical Real Time Systems, Federal Aviation Administration - Technical Center, 2002-2005 ($388K)
    • Real-Time Systems Undergraduate Software Development Laboratory, National Science Foundation - Instrumentation and Laboratory Improvement, 1995 ($196K)
    • Knowledge Based Methodology to Support Air Traffic Control Systems Command Center Operations, Federal Aviation Administration - Technical Center, 1993 ($43K)
    • Analysis of Air Traffic Control Sector - Potential Conflict Algorithms, Federal Aviation Administration - Technical Center, 1993 ($50K)
    • Optimization of ATC Sector Airway Structure Using Low-Cost Simulation, ERAU Development Grant, 1990 ($4K)
    • Complex Team Simulation Training for the National Airspace System, Florida High Technology and Industry Council, 1989 ($20K)
    • Simulation Models for the National Airspace Systems, ERAU Development Grant, 1989 ($4K)
    • Terminal Area Radar Simulator - Application of Simulation to Aviation Education, ERAU Development Grant, 1989 ($5K)
  • Co-Investigator:
    • System Architecture & Design for NextGen D-RNP/A-IM 4DT Demonstration, FAA, 2015- ($20K)
    • Human-In-The-Loop Simulation for NextGen 4D FMS TBO – FAA, 2009-2010 ($80K)
    • Structural Usage Monitoring and Flight Regime Recognition, Federal Aviation Administration - Technical Center, 2005-2008 ($417K)
    • Real-Time Safety Critical Software Testing and Validation, Guidant, 1998-2005 ($1,292K)
    • Software Testing - FLEXIDE pager development environment, Motorola, 1997 ($20K)
    • Software Testing - Flight Data Processing, Lockheed Martin, 1996 ($65K)
    • Intelligent Simulation Training System, Florida High Technology and Industry Council, 1987-1992 ($450K)

 

PUBLICATIONS (link):