Aritz Elgezabal
Systems Engineering

I focus on deterministic embedded systems, formal behavior modeling and system architecture. My work emphasizes explicit design, verification, traceability and evidence-driven engineering.
Engineering Principles
- Design is the source of truth.
- Implementation is its consequence.
- Determinism is designed, not assumed.
- Every engineering decision should be traceable and justifiable.
- Verification is a requirement, not an afterthought.
- My engineering approach is based on explicit modeling, verification and evidence-driven decision making.
Work Environment

The home lab serves as a platform for experimentation, prototyping and validation of embedded and automation systems.
Areas of Interest
- Deterministic Systems
- Formal Modeling (SFC/FSM)
- Embedded Linux
- Mission-Critical Embedded Software
- Verification & Validation (V&V)
- System Architecture
Open Source Projects
- BASTARD (Public release planned)
- ATOP
- ELI_Galileo