Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Mark L. McKelvin"'
Autor:
Mark L. McKelvin
Publikováno v:
Handbook of Model-Based Systems Engineering ISBN: 9783030274863
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff4afa5cdec5a88d367205ad13355f05
https://doi.org/10.1007/978-3-030-27486-3_61-1
https://doi.org/10.1007/978-3-030-27486-3_61-1
Autor:
Mark L. McKelvin
Publikováno v:
Handbook of Model-Based Systems Engineering ISBN: 9783030274863
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc7d5ab69135aa66923736c81eee08a2
https://doi.org/10.1007/978-3-030-27486-3_45-1
https://doi.org/10.1007/978-3-030-27486-3_45-1
Autor:
Juan P. Leon, Mark L. McKelvin, Robert Castillo, Azad M. Madni, Alejandro Jimenez, Corrina Gibson, Michael Bonnici, Kevin Bonanne, Jose Gomez-Mustafa, Brian Cox
Publikováno v:
AIAA SPACE 2015 Conference and Exposition.
ion level. In Slomka et. al., the authors define an abstract reference model, which captures all of the information about the system, and specific models, which are built from the reference model. Feiler et. al. proposes an approach that defines an a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e86461a7beed4bafade35e53b27efe21
https://doi.org/10.2514/6.2015-4462
https://doi.org/10.2514/6.2015-4462
Autor:
Mark L. McKelvin, Alejandro Jimenez
Publikováno v:
Infotech@Aerospace
Modern space flight systems are required to perform more complex functions than previous generations to support space missions. This demand is driving the trend to deploy more electronics to realize system functionality. The traditional approach for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e523897d580e3933ed60b85808364df5
https://doi.org/10.2514/6.2012-2534
https://doi.org/10.2514/6.2012-2534
Publikováno v:
PRDC
In the verification of multitask software in real-time embedded systems, general purpose model checkers do not inherently consider characteristics of the real-time operating system, such as priority-based scheduling, priority inversion, and protocols
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8b97d4643bcaa6eeaf43e78ce9a6fe4
https://doi.org/10.1109/prdc.2011.49
https://doi.org/10.1109/prdc.2011.49
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::942cd4497dd3b4b3005f0311ade5902a
https://doi.org/10.4271/2009-01-1377
https://doi.org/10.4271/2009-01-1377
Publikováno v:
EMSOFT
Scopus-Elsevier
Scopus-Elsevier
Designing cost-sensitive real-time control systems for safety-critical applications requires a careful analysis of both performance versus cost aspects and fault coverage of fault tolerant solutions. This further complicates the difficult task of dep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::642f95cb2243e591d62332cffeab4670
https://doi.org/10.1145/1086228.1086272
https://doi.org/10.1145/1086228.1086272
Publikováno v:
Richard Tapia Celebration of Diversity in Computing Conference
We provide a system architecture that applies radio frequency identification and wireless sensor network technologies to automate inventory management and tracking of commercial assets. A set of environment parameters are considered as a result of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86ff083bc4ef698d0b0b0f4370b1bc39
https://doi.org/10.1145/1095242.1095261
https://doi.org/10.1145/1095242.1095261
Autor:
Mark L. McKelvin, Leticia Valdez, Steve Harrison, Ka-Ping Yee, Ragnhild Nestande, Maribeth Back
Publikováno v:
CHI Extended Abstracts
SeismoSpin is a novel interactive instrument that uses a Disc-Jockey-mixer analogy to give seismologists a quick and powerful way to explore Northern California earthquake data. The custom-built interface and display maps earthquake data to responsiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a530bd5418742529f4cb77b233420a4f
https://doi.org/10.1145/765891.766019
https://doi.org/10.1145/765891.766019
Publikováno v:
Scopus-Elsevier
ECBS
ECBS
Designing embedded software for safety-critical, real-time feedback control applications is a complex and error prone task. Fault tolerance is an important aspect of safety. In general, fault tolerance is achieved by duplicating hardware components,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5fb3afe960c84f1c11148570476dacdc
http://www.scopus.com/inward/record.url?eid=2-s2.0-28344439537&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-28344439537&partnerID=MN8TOARS