| 1. |
- Tahmasian, Masoud, et al.
(författare)
-
ENIGMA-Sleep : Challenges, opportunities, and the road map
- 2021
-
Ingår i: Journal of Sleep Research. - : Wiley. - 0962-1105 .- 1365-2869. ; 30:6
-
Forskningsöversikt (refereegranskat)abstract
- Neuroimaging and genetics studies have advanced our understanding of the neurobiology of sleep and its disorders. However, individual studies usually have limitations to identifying consistent and reproducible effects, including modest sample sizes, heterogeneous clinical characteristics and varied methodologies. These issues call for a large-scale multi-centre effort in sleep research, in order to increase the number of samples, and harmonize the methods of data collection, preprocessing and analysis using pre-registered well-established protocols. The Enhancing NeuroImaging Genetics through Meta-Analysis (ENIGMA) consortium provides a powerful collaborative framework for combining datasets across individual sites. Recently, we have launched the ENIGMA-Sleep working group with the collaboration of several institutes from 15 countries to perform large-scale worldwide neuroimaging and genetics studies for better understanding the neurobiology of impaired sleep quality in population-based healthy individuals, the neural consequences of sleep deprivation, pathophysiology of sleep disorders, as well as neural correlates of sleep disturbances across various neuropsychiatric disorders. In this introductory review, we describe the details of our currently available datasets and our ongoing projects in the ENIGMA-Sleep group, and discuss both the potential challenges and opportunities of a collaborative initiative in sleep medicine.
|
|
| 2. |
- Holtmann, Jörg, 1979, et al.
(författare)
-
Early timing analysis based on scenario requirements and platform models
- 2022
-
Ingår i: Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1366 .- 1619-1374. ; 21, s. 2171-2211
-
Tidskriftsartikel (refereegranskat)abstract
- Distributed, software-intensive systems (e.g., in the automotive sector) must fulfill communication requirements under hard real-time constraints. The requirements have to be documented and validated carefully using a systematic requirements engineering (RE) approach, for example, by applying scenario-based requirements notations. The resources of the execution platforms and their properties (e.g., CPU frequency or bus throughput) induce effects on the timing behavior, which may lead to violations of the real-time requirements. Nowadays, the platform properties and their induced timing effects are verified against the real-time requirements by means of timing analysis techniques mostly implemented in commercial-off-the-shelf tools. However, such timing analyses are conducted in late development phases since they rely on artifacts produced during these phases (e.g., the platform-specific code). In order to enable early timing analyses already during RE, we extend a scenario-based requirements notation with allocation means to platform models and define operational semantics for the purpose of simulation-based, platform-aware timing analyses. We illustrate and evaluate the approach with an automotive software-intensive system.
|
|
| 3. |
|
|
| 4. |
- Peraldi-Frati, M.-A., et al.
(författare)
-
A timing model for specifying multi clock automotive systems: The timing augmented description language V2
- 2012
-
Ingår i: Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris;18 July 2012 through20 July 2012. ; :Article number 06299218, s. 230-239
-
Konferensbidrag (refereegranskat)abstract
- Precise timing constraint modeling and analysis is a key point for the correct development of automotive electronics. EAST-ADL and AUTOSAR has been adopted as standards in automotive industry. These standards have recently adopted TADL (Time Augmented Description Language), a timing model for expressing timing constraints. Its current use highlighted different issues, mainly concerning the integration of parameterized multi rate and multi-clock systems. This paper presents new extensions, aligned on AUTOSAR and EAST-ADL, to solve these issues: a support for symbolic timing expression including multi time base description and complex timing constraints. These extensions are applicable at different abstraction levels during design and enable precise modeling of the multi clock characteristics of distributed systems together with parameterized timing expressions. This work has been conducted in the ITEA TIMMO-2-USE project.
|
|
