-
Solutions
-
Researching, developing, and transitioning advances in separation architectures, model-based system engineering, and mathematical analysis.
- Safety & Security AnalysisAnalyze system models for gaps in safety and security compliance, and generate documentation to support certification requirements.
- Real-time Operating System SchedulingProvide end-to-end, system-wide schedulabilty analysis, and generate real-time operating system (RTOS) schedules and configuration information
- Embedded System Tradespace AnalysisSupport least-commitment design strategies by continuously evaluating embedded system design alternatives against diverse requirements.
- Isolation TechnologyEnable virtual security enclaves within a single physical server
-
-
Initiatives
-
What’s next: Innovative research examining hard problems of national importance.
- Weird MachinesAnticipating vulnerabilities related to computer systems that employ artificial intelligence
- Education InnovationDelivering game-based education to adolescents and young adults
- Automated Behavior AnalysisDetecting vulnerabilities in embedded systems using timed automata (VOLTA)
- Code GenerationAutomating the integration of cyber-resilient components in complex systems
-
Rand Whillock
Rand Whillock
Signal and Image Processing; Robotics System Engineering; Training Systems and Human Interfaces
About
Rand Whillock has extensive experience in system engineering, training systems, human-computer interfaces, signal and image processing, mobile devices, robotics, and biometrics. He has been the technical and program management lead for numerous government and corporate funded projects developing technologies for applications, including: mobile device security, medical device safety and security analysis, people detection and recognition, target recognition, and video security. Rand holds 16 patents.
Rand is the principal investigator for the DAREIT program working to apply MBSE and ACVIP to CubeSat developments, and served as key technical lead on AFFMAD, a framework for creating, analyzing, and trading-off fault management strategies for mixed-criticality systems. He also led a recently completed a DARPA seedling to design a secure separation architecture and CDS for mobile devices to guard the flow of information between security domains.
Rand is the lead model builder for the JMR Capstone Template project, building an AADL reference architecture template and example models integrating constraints, requirements, and goals across multiple stakeholders. He also led deployment of the CAMET® Library infrastructure and oversees its maintenance.
Rand was the PI for the SSCATE SBIR, the SESSAF Phase 3 project, and is a contributor to the CAFFMAD and ISOS projects.
Rand teaches a class in industrial robotics at a local college and has been coaching and mentoring First Lego League (FLL) robotics teams for over 18 years. He was recently honored with a leadership award for this work.
Education
M.S., Computer Science, University of Minnesota
B.S., Computer Science, University of Minnesota
Past Work
Rand has been project manager for large biometrics system development teams, including the Combined Face and Iris Recognition System (CFAIRS), for which he was honored with a Honeywell technical achievement award in 2003. He also managed two IARPA funded programs to develop innovative biometric acquisition systems and algorithms.
Rand was lead developer on programs to develop Helmet Mounted Display (HMD) user interfaces for Army tank commanders and a medium fidelity flight simulator for aircraft pilot testing. He was also lead developer of a real time automatic target cueing system which he flight-tested on a Boeing 757 aircraft.
Image
