Work-in-Progress: Programs with Ironclad Timing Guarantees

Author(s): Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee

Citation
Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee. "Work-in-Progress: Programs with Ironclad Timing Guarantees". ACM SIGBED International Conference on Embedded Software (EMSOFT), October 13-18 2019.

Abstract
We discuss ongoing work towards a meta-language, execution model, and compiler tool chain that promotes determinism and grants first-class citizenship to the timing aspects of computation.

Electronic Downloads

Citation Formats

  • HTML 
                    
Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee.
"<a href="https://www.icyphy.org/publications/2019_LohstrohEtAl/">Work-in-Progress: Programs with Ironclad Timing Guarantees</a>".
<i>ACM SIGBED International Conference on Embedded Software (EMSOFT)</i>, October 13-18 2019.
  • Plain Text 
                    
Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee.
"Work-in-Progress: Programs with Ironclad Timing Guarantees".
ACM SIGBED International Conference on Embedded Software (EMSOFT), October 13-18 2019.
  • BibTeX 
                        
@inproceedings{LohstrohEtAl:19:Ironclad,
	author = {Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, and Edward A. Lee},
	title = {Work-in-Progress: Programs with Ironclad Timing Guarantees},
    	booktitle = {ACM SIGBED International Conference on Embedded Software (EMSOFT)},
    	month = {October 13-18},
    	year = {2019},
    	abstract = {We discuss ongoing work towards a meta-language, execution model, and compiler tool chain that promotes determinism and grants first-class citizenship to the timing aspects of computation.},
	URL = {https://www.icyphy.org/publications/2019_LohstrohEtAl/}
}