Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Alan Grigg"'
Autor:
Alan Grigg, Mole Li
Publikováno v:
RTAS
Correctly specifying system requirement verification strategies plays an important role in Real-time embedded and safety-critical systems development. Traditionally, industries are using document-based/textual artefacts to capture system verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96f1326eecae62156850278e5b49fca2
https://doi.org/10.1109/rtas52030.2021.00047
https://doi.org/10.1109/rtas52030.2021.00047
Publikováno v:
Model-Based Safety and Assessment ISBN: 9783030328719
IMBSA
IMBSA
Migrating systems and safety engineering (often with legacy processes and certified tools) towards a model based systems engineering (MBSE) environment is a socio-technical problem. Establishing a common conceptual framework requires agreement on mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71a888dc076fb610eaf5b31efb83012f
https://doi.org/10.1007/978-3-030-32872-6_5
https://doi.org/10.1007/978-3-030-32872-6_5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030266004
SAFECOMP
SAFECOMP
Model Based Systems Engineering (MBSE) has encouraged the use of a single systems model in languages such as SysML that fully specify the system and which form the basis of all development effort. However, using SysML models for safety analysis has b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b7205d4dbc39ffff46dd40f3459584e
https://doi.org/10.1007/978-3-030-26601-1_6
https://doi.org/10.1007/978-3-030-26601-1_6
Software Product Line Engineering has attracted attention in the last two decades due to its promising capabilities to reduce costs and time to market through reuse of requirements and components. In practice, developing system level product lines in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::784dc5390a62224251707071f8b98d1c
Publikováno v:
SoSE
Software Product Line Engineering (SPLE) has drawn large amounts of attention during the last two decades as it offers the benefits of reducing cost and time to market by reusing requirements and components. Recently, more and more large scale indust
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::505bce207975b1e6968141e45f659942
https://doi.org/10.1109/sysose.2016.7542933
https://doi.org/10.1109/sysose.2016.7542933
Publikováno v:
Journal of Network and Computer Applications. 34:1928-1941
This paper provides a review of the different cross-layer design and protocol tuning approaches that may be used to meet a growing need to support inelastic soft real-time streams in MANETs. These streams are characterised by critical timing and thro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0bf4f94d7d2b196b1c7302674fe0e29a
https://doi.org/10.1016/j.jnca.2011.07.005
https://doi.org/10.1016/j.jnca.2011.07.005
Publikováno v:
Simulation Modelling Practice and Theory. 17:558-568
The provision of guaranteed QoS for various Internet traffic types has become a challenging problem for researchers. New Internet applications, mostly multimedia-based, require differentiated treatments under certain QoS constraints. Due to a rapid i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e0e08079cb2ffc11e7ed33fd97238885
https://doi.org/10.1016/j.simpat.2008.09.006
https://doi.org/10.1016/j.simpat.2008.09.006
Publikováno v:
MoDRE
Product Line Engineering (PLE) offers the benefits of reducing costs and time to market by reusing requirements and components. Current PLE methods, however, mainly focus on the software aspects and are lacking in support for many system level concer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::52d731076f0fa222efa3798c5b64bf33
https://doi.org/10.1109/modre.2015.7343874
https://doi.org/10.1109/modre.2015.7343874
Publikováno v:
Computing & Control Engineering Journal. 10:98-104
Embedded computer systems often remain in service long after part or all of the hardware has become obsolete, due to the high cost of replacement. This cost occurs as often software has to be rewritten for the new hardware. Portable code allows compi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a54c50f30a64837caa23a07f6a66c72
https://doi.org/10.1049/cce:19990302
https://doi.org/10.1049/cce:19990302
Publikováno v:
INCOSE International Symposium. 9:247-255
Next generation aircraft computer systems require a major advance in system design practice and associated methods of analysis compared to even the most modern aircraft systems now in service. As well as the ongoing need to demonstrate predictable, r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1560d1264e37cc808df6d99e7104c637
https://doi.org/10.1002/j.2334-5837.1999.tb00167.x
https://doi.org/10.1002/j.2334-5837.1999.tb00167.x