8 Hits in 4.1 sec

CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties

Ralph Gorgen, Kim Gruttner, Fernando Herrera, Pablo Penil, Julio Medina, Eugenio Villar, Gianluca Palermo, William Fornaciari, Carlo Brandolese, Davide Gadioli, Sara Bocchio, Luca Ceva (+10 others)
2016 2016 Euromicro Conference on Digital System Design (DSD)  
Extra-functional and Green computing challenges Several extra-functional property requirements converge within modern telecom systems.  ...  under real-time and mixed-criticality constraints.  ...  Mixed criticality issues The overall system shows several different criticalities at all the architectural layers. In particular the following aspects have been identified.  Power consumption.  ... 
doi:10.1109/dsd.2016.95 dblp:conf/dsd/GorgenGHPMVPFBG16 fatcat:t4f6yfdmrnfwfozoj2iveywwna

Understanding Multidimensional Verification: Where Functional Meets Non-Functional

Xinhui Lai, Aneesh Balakrishnan, Thomas Lange, Maksim Jenihhin, Tara Ghasempouri, Jaan Raik, Dan Alexandrescu
2019 Microprocessors and microsystems  
In recent years, numerous extrafunctional aspects of electronic systems were brought to the front and imply verification of hardware design models in multidimensional space along with the functional concerns  ...  Advancements in electronic systems' design have a notable impact on design verification technologies.  ...  Acknowledgments This research was supported in part by projects H2020 MSCA ITN RESCUE funded from the EU H2020 programme under the MSC grant agreement no. 722325 , by the Estonian Ministry of Education  ... 
doi:10.1016/j.micpro.2019.102867 fatcat:fep3q5wlmnafdoh2jjlfheauwq

Safepower Project: Architecture For Safe And Power-Efficient Mixed-Criticality Systems

Maher Fakih, Alina Lenz, Mikel Azkarate-Askasua, Javier Coronel, Alfons Crespo, Simon Davidmann, Juan Carlos Diaz Garcia, Nera González Romero, Kim Grüttner, Sören Schreiner, Razi Seyyedi, Roman Obermaisser (+6 others)
2017 Zenodo  
The EU project SAFEPOWER1 targets this research gap and aims to introduce certifiable methods to improve the power efficiency of mixed-criticality real-time systems (MCRTES).  ...  Even safety critical domains like railway and avionics apply these paradigms under strict certification regulations.  ...  INTRODUCTION Mixed-criticality real-time systems support functions with different criticality on one shared system.  ... 
doi:10.5281/zenodo.1216870 fatcat:46gbqu45lzct5mhsspuqt5i4wm

Fast Thermal Simulation using SystemC-AMS

Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino
2016 Proceedings of the 26th edition on Great Lakes Symposium on VLSI - GLSVLSI '16  
the overall design flow.  ...  Out of the many options available for thermal simulation of digital electronic systems, those based on solving an RC equivalent circuit of the thermal network are the most popular choice in the EDA community  ...  physical mechanisms. * This work was supported by the EC co-funded CONTREX (Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties) project Grant Agreement  ... 
doi:10.1145/2902961.2902975 dblp:conf/glvlsi/ChenVMP16 fatcat:2zn7xbgoqrcrvgblf6a737hy44

A Unified Model of Power Sources for the Simulation of Electrical Energy Systems

Sara Vinco, Yukai Chen, Enrico Macii, Massimo Poncino
2016 Proceedings of the 26th edition on Great Lakes Symposium on VLSI - GLSVLSI '16  
Models of power sources are essential elements in the simulation of systems that generate, store and manage energy.  ...  The key feature of our model is the normalization of the energy generation characteristic of the power source by means of a reduction to a function expressing extracted power vs. the "scavenged" quantity  ...  This variety in their typologies makes their modeling poorly scalable and * This work was supported by the EC co-funded CONTREX (Design of embedded mixed-criticality CONTRol systems under consideration  ... 
doi:10.1145/2902961.2903024 dblp:conf/glvlsi/VincoCMP16 fatcat:3tl6hvde3bcljlfcc3pu5tjaka

Natural ethical facts: evolution, connectionism, and moral cognition

2004 ChoiceReviews  
valid OMB control number.  ...  Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing the burden, to Department of Defense, Washington Headquarters Services  ...  the considerable cognitive labor they have expended so as to make this dissertation presentable, and for tolerating the big-picture theorizing contained therein.  ... 
doi:10.5860/choice.41-4572 fatcat:aphgx4ubazh5zaanxfe3tfuzda

Metal oxide photoelectrodes for solar water splitting [article]

Alexander John Rettie
the electrical properties of this system using well characterized single crystals.  ...  Electrical measurements DC resistivity and DC field Hall effect measurements were made using a Physical Property Measurement System (PPMS, Quantum Design) specially modified for high resistivity samples  ...  Appendices APPENDIX A: COMBINED CHARGE CARRIER AND PHOTOELECTROCHEMICAL CHARACTERIZATION OF BIVO 4 SINGLE CRYSTALS A.1 EXPERIMENTAL DETAILS Sample preparation After growth, the crystal boules could  ... 
doi:10.15781/t2k34w fatcat:yae3v6rlwnaa7c22gpupxgcn7y

Electrochemical materials for the production and storage of renewable energy [article]

Bryan Russell Wygant, 0000-0003-1924-7831, Austin, The University Of Texas At, C. B. Mullins
We also found that changing the composition of the RPP perovskite enables control of the halide diffusion barrier, further impacting material stability.  ...  In regard to production, we studied the performance and stability of quasi-2D Ruddlesden-Popper phase (RPP) perovskites under humid conditions.  ...  More broadly, our results and those of Chen et al. suggest that control of halide mobility and the reduction of halide leaching in perovskite devices are important factors to consider when designing stable  ... 
doi:10.26153/tsw/9153 fatcat:egj6ysaws5bhpckxtqrj3zwuza