ONHS Report: FA489027RFI0003

CNET Emulation and Expertise

Solicitation ID: FA489027RFI0003

Agency: Joint Staff/JWAC

Type: Sources Sought

Deadline: 2026-11-15T12:00:00 ET

Eligibility: Maybe (Info Requested)

Funding: N/A

Doc Type: RFI

Clearance: Maybe (Info Requested)

Program Manager: N/A

Last Updated: 2026-11-03 17:03

Analyzed File: (U) CNET Lab Emulatoin and Expertise FY28.pdf

Eligibility Reasoning

Does your company have analysts at the TS//SCI level?

Note: This is an AI-generated summary...

Summary

The Joint Warfare Analysis Center (JWAC) is seeking contractor support to provide hardware emulation expertise and computer scientists/engineers for its CNET (Computer Network and Telecommunications) lab. The objective is to conduct comprehensive modeling and network system emulations of both US and foreign systems for experimentation and proof-of-concept tactic development. Key technical requirements include emulating telecommunications and computer network hardware using platforms like QEMU-KVM, validating the emulations, and developing monitoring tools. Required expertise spans systems programming (C/C++), OS internals, virtualization, router emulation (protocol stacks, data/control planes), and advanced simulation concepts such as cycle-accuracy, state checkpointing, and Hardware-in-the-Loop (HIL). The contractor must have personnel with TS/SCI clearance available to work on-site at Dahlgren, VA. (Source: (U) CNET Lab Emulatoin and Expertise FY28.pdf.)

Overall Technical Areas

Hardware Emulation & VirtualizationNetwork Simulation & ModelingForeign Systems AnalysisSystems Programming (C/C++/Rust)Operating System InternalsKernel NetworkingCyber Capability DevelopmentRouter Architecture EmulationData Plane & Control Plane ProgrammingEmulation Architecture DesignHardware-in-the-Loop (HIL) SystemsEmulation Validation & Verification (V&V)Formal Methods & Model CheckingSystem State Monitoring & TelemetryConcurrency & Deterministic Systems

Probable LBNL Areas

BSACSAEESAETAPSA

Focus Areas

Example Priorities:

The contractor will be required to emulate US and foreign telecommunications and computer network hardware to support experimentation at scale and reduce risk to equipment during development.
The emulated hardware will be compatible with virtualization platforms specified by JWAC. Currently, JWAC leverages QEMU-KVM for machine emulation/virtualization.
What experience do you have with emulating routers, involving: Routing Protocol Stacks, Data Plane Programming, Forwarding Plane Architecture, Control Plane Integration, Chassis/Line Card Abstraction

Specific Technical Skills:

Hardware EmulationVirtualization (QEMU-KVM)Foreign Systems AnalysisRouter ArchitectureRouting Protocol StacksData Plane ProgrammingControl Plane IntegrationNetwork Hardware Emulation

Potential PIs for this Area:

Name	Score	Organization
Georgios Michelogiannakis	0.77	CSA \| AMCR \| Computer Science · Router Architecture
Angelos Ioannou	0.75	CSA \| AMCR \| Computer Science · Hardware Emulation
Anastasiia Butko	0.75	CSA \| AMCR \| Computer Science · Virtualization (QEMU-KVM)
Dipak Ghosal	0.74	CSA \| ESNET \| Tech Adv and Engagement · Routing Protocol Stacks
Scott Beamer	0.74	CSA \| AMCR \| Computer Science · Hardware Emulation
Prabal Dutta	0.73	ETA \| Building & Industrial Energy Systems \| Bldg Technologies Dept · Routing Protocol Stacks
Claire Tomlin	0.73	BSA \| Biological Systems & Engineering \| Department of BioEngineering and BioMedical Sciences · Control Plane Integration
Ronal Kumar	0.73	CSA \| NERSC \| Data Center Department · Data Plane Programming
Eric Masanet	0.73	ETA \| Energy Analysis \| Systems & Energy Tech Analysis · Foreign Systems Analysis
Thomas Hendrickson	0.72	ETA \| Energy Analysis \| Systems & Energy Tech Analysis · Foreign Systems Analysis

Example Priorities:

What level of experience do you have in the following areas? ... Systems Programming (C/C++/Rust), OS Internals & Kernel Networking, Concurrency & Determinism
Hardware, software, and firmware tools will be developed as required to support proof of concept development for potential cyber capability development initiatives.
The contractor may be required to develop mechanisms to monitor and capture the state of the emulated hardware (i.e. virtual machine snapshots, monitor system calls).

Specific Technical Skills:

Systems Programming (C/C++/Rust)OS InternalsKernel NetworkingConcurrency & DeterminismFirmware DevelopmentSystem Call MonitoringBuild Systems & CI/CDComputing Automation

Potential PIs for this Area:

Name	Score	Organization
Steven Hofmeyr	0.74	CSA \| AMCR \| Computer Science · Systems Programming (C/C++/Rust)
Katherine Rasmussen	0.74	CSA \| AMCR \| Computer Science · Systems Programming (C/C++/Rust)
Angelos Ioannou	0.73	CSA \| AMCR \| Computer Science · Computing Automation
Anna Giannakou	0.73	CSA \| SciData \| Data Science Applications · Computing Automation
Georgios Michelogiannakis	0.73	CSA \| AMCR \| Computer Science · Kernel Networking
Stefan Lasiewski	0.73	CSA \| NERSC \| HPC Technology Department · Build Systems & CI/CD
Kirill Lozinskiy	0.73	CSA \| NERSC \| Data Center Department · Build Systems & CI/CD
Sukhpreet Kaur	0.72	PSA \| Engineering \| Electronic Engineering · Firmware Development
Koushik Sen	0.71	CSA \| AMCR \| Computer Science · Concurrency & Determinism
Tiffany Connors	0.71	CSA \| NERSC \| Data Center Department · System Call Monitoring

Example Priorities:

Have you developed/modeled/coded/emulated aspects of the following areas? If so, in what capacity? Cycle-Accurate vs. Functional Simulation, Time Management, State Checkpointing & Migration, Scalability Patterns, Hardware-in-the-Loop (HIL}
How much experience do you have with developing/coding virtual systems?

Specific Technical Skills:

Cycle-Accurate SimulationFunctional SimulationTime ManagementState CheckpointingVirtual Machine MigrationScalability PatternsHardware-in-the-Loop (HIL)Distributed Emulation

Potential PIs for this Area:

Name	Score	Organization
Anastasiia Butko	0.75	CSA \| AMCR \| Computer Science · Cycle-Accurate Simulation
Jason Lowe-Power	0.75	CSA \| SciData \| Data Science Applications · Cycle-Accurate Simulation
Angelos Ioannou	0.74	CSA \| AMCR \| Computer Science · Functional Simulation
Scott Baden	0.74	CSA \| AMCR \| Computer Science · Distributed Emulation
Kameshwar Poolla	0.74	ETA \| Energy Technologies and Systems \| Energy Storage & Dist Dpt · Hardware-in-the-Loop (HIL)
Zhengji Zhao	0.74	CSA \| NERSC \| HPC Technology Department · State Checkpointing
Scott Beamer	0.73	CSA \| AMCR \| Computer Science · Scalability Patterns
Cees De Laat	0.73	CSA \| ESNET \| Tech Adv and Engagement · Virtual Machine Migration
Alexandre Bayen	0.73	ETA \| Energy Analysis \| Systems & Energy Tech Analysis · Hardware-in-the-Loop (HIL)
Jean Luca Bez	0.71	CSA \| SciData \| Data Science Applications · Time Management

Example Priorities:

The contractor will be required to validate the emulated hardware by hosting any required operating systems and applications.
Provide an example(s) of your experience with validation and verification (V&V) of emulations with respect to the following list. ... Differential Testing, Model Checking/ Formal Methods, Telemetry & Tracing, Conformance Suites

Specific Technical Skills:

Validation and Verification (V&V)Differential TestingModel CheckingFormal MethodsSystem TelemetryExecution TracingConformance SuitesTest Automation

Potential PIs for this Area:

Name	Score	Organization
Koushik Sen	0.75	CSA \| AMCR \| Computer Science · Test Automation
Bruce Mah	0.73	CSA \| ESNET \| Tech Adv and Engagement · System Telemetry
Alexandre Bayen	0.72	ETA \| Energy Analysis \| Systems & Energy Tech Analysis · System Telemetry
Bruce Nordman	0.72	ETA \| Building & Industrial Energy Systems \| Bldg Technologies Dept · System Telemetry
Gregory Lemieux	0.72	EESA \| CESD \| Earth System Sciences · Validation and Verification (V&V)
Angelos Ioannou	0.71	CSA \| AMCR \| Computer Science · Model Checking
Tiffany Connors	0.71	CSA \| NERSC \| Data Center Department · Execution Tracing
Anastasiia Butko	0.71	CSA \| AMCR \| Computer Science · Execution Tracing
Katherine Rasmussen	0.71	CSA \| AMCR \| Computer Science · Conformance Suites
Steven Hofmeyr	0.71	CSA \| AMCR \| Computer Science · Formal Methods

Potential LBNL PIs (Overall)

Note on PI Matching: These suggestions are generated through an AI-driven semantic analysis of LBNL staff profiles.

Name	Score	Organization
Angelos Ioannou	0.75	CSA \| AMCR \| Computer Science · Emulation Architecture Design
Georgios Michelogiannakis	0.75	CSA \| AMCR \| Computer Science · Kernel Networking
Steven Hofmeyr	0.74	CSA \| AMCR \| Computer Science · Systems Programming (C/C++/Rust)
Kameshwar Poolla	0.73	ETA \| Energy Technologies and Systems \| Energy Storage & Dist Dpt · Hardware-in-the-Loop (HIL) Systems
Ronal Kumar	0.73	CSA \| NERSC \| Data Center Department · Data Plane & Control Plane Programming
Alexandre Bayen	0.73	ETA \| Energy Analysis \| Systems & Energy Tech Analysis · System State Monitoring & Telemetry
Eric Masanet	0.73	ETA \| Energy Analysis \| Systems & Energy Tech Analysis · Foreign Systems Analysis
Koushik Sen	0.73	CSA \| AMCR \| Computer Science · Formal Methods & Model Checking
Evangelos Chaniotakis	0.73	CSA \| ESNET \| Systems and Software · Network Simulation & Modeling
Tiffany Connors	0.71	CSA \| NERSC \| Data Center Department · Cyber Capability Development

Fundamental Research Exemption (FRE)

Not Mentioned