Gunar Schirner

TL;DR: A prototyping platform and a design framework for rapid exploration of a novel human-in-the-loop application serves as an accelerator for new research into a broad class of systems that augment human interaction with the physical world.

TL;DR: In this paper, the authors present a model-based approach to system level design, including simulation-based and formal verification methods that are essential for achieving design confidence, as well as an overview of existing tools along with a design case study outlining the practice of embedded system design.

TL;DR: A rigorous analytical model based on galvanic coupling of low energy signals is developed for enabling communication between sensors and actuators embedded within the tissue, or placed on the surface of the skin, pointing to the suitability of the model for quick and accurate channel characterization and parameter estimation for networked and implanted sensors.

TL;DR: In this paper, the authors developed a suite of analytical expressions for modeling the resulting communication channel for weak electrical signals in a three dimensional multi-layered tissue structure, validating and verifying the model through extensive finite element simulations, published measurements in existing literature, and experiments conducted with porcine tissue.

TL;DR: This paper eliminates the granularity dependency by applying the Result Oriented Modeling (ROM) technique previously used only for communication modeling, which allows precise preemptive scheduling, while retaining all the benefits of abstract RTOS modeling.