Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A model for updating real-time applications - MaRDI portal

A model for updating real-time applications

From MaRDI portal

Publication:704783

Jump to:navigation, search

DOI10.1023/B:TIME.0000027932.11280.3CzbMath1101.68395OpenAlexW2017730156MaRDI QIDQ704783

Jami Montgomery

Publication date: 19 January 2005

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:time.0000027932.11280.3c

zbMATH Keywords

code replacement Dynamic update multithreaded RT-Mach software update

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

This page was built for publication: A model for updating real-time applications

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:704783&oldid=12617772"