“We emphasize the need to address the challenge of access to sustainable modern energy services for all, in particular for the poor, who are unable to afford these services even when they are available.”  Section 126: The Future We Want (Out Come Document of Rio+20-United Nations Conference on Sustainable Development June 20-22, 2012). The lack of energy access has been identified as a hurdle in achieving the United Nations’ Millennium Development Goals, leading towards the urge to set a goal for universal electrification till 2030. With around 600 million people in Africa without access to electricity, effective and efficient electrification programs and policy framework is required to achieve this goal sustainably. South Africa is an example in the continent for initiating intense electrification programs and policies like “Free Basic Electricity”, increasing its electrification rate from 30% in 1993 to 75% in 2010 and a claimed 82% in 2011. The case of South Africa has been analysed from the perspective of universal electrification in the coming years. The aim was to estimate the un-electrified households for each area of South Africa in order to provide the basis for electrification planning. The idea was to use available electrification statistics with GIS (Geographic Information System) maps for grid lines and identifying the suitability of on-grid or off-grid electrification options, which may help in planning the electrification of these areas in the near future. However, due to lack of readily available data, the present work has been able to estimate the un-electrified households & their possible electrical load. The estimates have been distributed in different income groups for each province and district municipality of South Africa, which can be used for electrification planning at national, provincial and municipal level.  As a result, some simple and useful data parameters have been identified and an estimation methodology has been developed, which may be employed to obtain similar estimates at lower administrative levels i.e. local municipalities and wards. The work can be utilized further and feasible electrification options may be suggested for different areas of South Africa, with the help of GIS maps and data. Depending on the availability of useful data, the data parameters & indicators used in this work will be helpful for planning the electrification for rural households in other places of Africa.

To mitigate climate change and realize the transition towards a cleaner consumption pattern, the development of EVs needs to be ensured as it is one of the major solutions to the fossil fuel-related problems human beings face today. Lithium, as a critical material to EV cells, is seen as a strategic resource in many countries. Given the fact that the global lithium distribution is quite uneven, securing lithium supply for the development of EVs is essential for the world to phase out fossil fuels consumption in the transport sector. The supply risks of lithium can be observed in many aspects, ranging from lithium production to geopolitics. In this paper, the author combines qualitative and quantitative analysis in order to overarchingly reflect the global supply disruptions of lithium. In the qualitative section, the concept of systems theory is applied, supported by the connection circle, the stock-flow model, and the panarchy model; in the quantitative section, the author uses the combination of Herfindahl-Hirschman Index (HHI) and Worldwide Governance Indicators (WGI) to measure the extent of supply disruptions in a certain year. The quantitative section serves as a good supplement to the qualitative analysis. The qualitative results indicate that lithium mining and processing plays the key role in the whole lithium supply chain. It can be affected by the factors in the larger global context such as global political environment and the demand for lithium, as well as the social, ecological and technical components in the smaller scale that provides a physical environment for lithium production. The quantitative results show that the global supply disruptions of lithium are significant in 2019, mainly due to the high level of supply concentration. The author suggests that the governments of major lithium producer countries might organize panel discussions regularly to ensure the stable and non-centric supply of lithium to the global market. The rich production countries may also offer technical support to the less developed lithium holders to help the latter overcome the difficulties brought by the increasing cost of mining.

Students’ and teachers’ own choices and actions – their agency – are an integral part of language education, yet we know little about agency in specific classroom contexts. One such context is when students search for information online as part of their foreign language education. Therefore, the aim of this study is to explore the agency enacted through the choices and actions of six upper secondary Spanish students and their teacher. Their choices and actions take place while they are working with a task that asks the students to read authentic web sites with text originally written in Spanish for a native Spanish speaking audience. Using a sociocultural perspective on the process of language learning in this task, the research question is: Through what choices, actions and reports do the students and the teacher exercise and express their agency? The study was carried out in two student groups in their second year at upper secondary school. Primary data were collected during the first lesson of a theme and consist of multiple sources, including computer screen recordings, sound and video uptake along with prompted interviews performed with both students and teacher. The main findings suggest that student and teacher choices and actions did not cohere, due to different objects of their respective activity system. The data shows that when students search for information online as a part of their language studies, they: Act as producers at the same time as consumers Multitask Translanguage Focus on end product more than the learning process Divide their work between them rather than work collaboratively Finding “third spaces” – where students’ home practices are not easily applied to student or teacher objects of the activity systems, leads to a discussion concerning language view and language learning through the use of the Internet.

INTRODUCTION: The legal and illicit use of cannabinoid-containing products is accelerating worldwide and is accompanied by increasing abuse problems. Due to legal issues, the USA will be entering a period of rapidly expanding recreational use of cannabinoids without the benefit of needed basic or clinical research. Most clinical cannabinoid research is focused on adults. However, the pediatric population is particularly vulnerable since the central nervous system is still undergoing developmental changes and is potentially susceptible to cannabinoid-induced alterations. RESEARCH DESIGN AND METHODS: This review focuses on the systems medicine of cannabinoids with emphasis on the need for future studies to include pediatric populations and mother-infant dyads. RESULTS AND CONCLUSION: Systems medicine integrates omics-derived data with traditional clinical medicine with the long-term goal of optimizing individualized patient care and providing proactive medical advice. Omics refers to large-scale data sets primarily derived from genomics, epigenomics, proteomics, and metabolomics.

The iron and steel industry has become increasingly globalised. Market conditions are also changing and de-carbonisation of production is challenging. The objective of this thesis is to assess how energy efficiency and greenhouse gas emissions reductions can be promoted and effectively monitored in the steel industry. The thesis contributes with analyses based on the Malmquist Productivity Index for a top-down analysis of the energy efficiency of EU Member States’ iron and steel production, and Partial Least Squares regression for bottom-up assessments of different monitoring tools. The thesis also contributes with a scrap availability assessment module to enhance the energy system model ETSAP-TIAM. The first phase of the research showed that future production needs to shift towards innovative low-CO2 technologies even when all available recycled material is fully used. Techniques using carbon capture and storage (CCS) as well as hydrogen-based technologies can be expected to become economically viable under tightened climate policies. The second phase of the research showed that current indicators are insufficient. System boundaries of energy use and emissions data do not align with production statistics. Indicators based on energy use or emissions in relation to production in physical terms may be useful to track specific processes. However, current indicators fail to reflect the companies’ product mix. Enhanced energy and climate indicators that adjust for the product mix provide better estimates while failing to reflect the increasing globalisation. Effective monitoring of industrial transformation will be increasingly important as pressure from climate policy via global CO2-pricing is unlikely in the short term. Current or enhanced indicators do not fully capture industrial transformation and are not recommended. Future research should focus on defining indicators to estimate energy use and emissions along industrial value chains in climate policy contexts. / Järn- och stålindustrin har blivit alltmer globaliserad. Marknadsvillkoren förändras samtidigt som utfasningen av fossila bränslen är utmanande. Målet med den här avhandlingen är att bedöma hur energieffektivitet och växthusgasutsläppsminskningar kan främjas och effektivt utvärderas inom stålindustrin. Avhandlingen bidrar med analyser baserade Malmquists produktivitetsindex för att analysera energieffektivitet av EU:s medlemsstaters järn- och stålproduktion, och partiell minsta- kvadrat-regression för att bedöma olika utvärderingsmått. Avhandlingen bidrar även med en modul som bedömer skrottillgång för att förbättra energisystemmodellen ETSAP-TIAM. I en första fas visade forskningen att framtida produktion behöver ställas om mot innovativa teknologier med låga CO2-utsläpp även när allt tillgängligt återvunnet material används fullt ut. Tekniker som använder koldioxidinfångning och -lagring (CCS) samt vätebaserade teknologier kan förväntas bli ekonomiskt försvarbara under åtstramade klimatpolitiska styrmedel. I en andra fas visade forskningen att nuvarande indikatorer är otillräckliga. Systemgränser för energianvändnings- och växthusgasutsläppsdata stämmer inte överens med produktionsstatistik. Indikatorer utifrån energianvändning eller utsläpp i relation till fysisk produktion kan vara användbara för att följa upp specifika processer. Nuvarande indikatorer lyckas dock inte spegla företagens produktmix. Förbättrade energi- och klimatindikatorer som justerar för produktmixen ger bättre uppskattningar, men speglar inte branschens ökande globalisering. Effektiv utvärdering av industriell transformation blir alltmer viktig då påtryckning från klimatpolitiska styrmedel via global CO2-prissättning är kortsiktigt osannolik. Nuvarande eller förbättrade indikatorer fångar inte industriell transformation fullt ut och rekommenderas inte. Framtida forskning bör fokusera på att definiera indikatorer som uppskattar energianvändning och växthusgasutsläpp längs industriella värdekedjor. / <p>QC 20170428</p>

The purpose of this thesis was to determine if the Value Systems (Tribalistic, Egocentric, Absolutistic, Achievist, Sociocentric, and Individualistic) based on the "Levels of Psychological Existence" developed by Clare W. Graves, could be applied to analysis of a role in a play script. Characters in four scripts were analyzed: The -Rainmaker, by N. Richard Nash; The Lark, by Jean Anouilh, adapted by Lillian Hellman; Fiddler on the Roof, book by Joseph Stein, music by Jerry Bock, lyrics by Sheldon Harnick; and The Taming off the Shrew, by Shakespeare. The results showed that the system could be applied practically and effectively.

Dans cette thèse nous avons cherché à prendre la mesure de la rupture épistémologique produite par l’analyse des systèmes-monde dans le champ des sciences sociales à travers l’étude d’un de ses principaux représentants, Immanuel Wallerstein. Dans un premier temps, ses recherches sur les mouvements nationalistes, la décolonisation et les indépendances africaines, se sont inscrites dans le cadre de ce qu’on a appelé la théorie de la modernisation qui corrélait changements sociaux et développement. Un tel modèle reposait sur une philosophie de l’histoire progressiste ordonnant les sociétés pensées comme des entités discrètes sur un axe menant de la tradition à la modernité, de sociétés agraires et rurales pauvres et oppressives pour l’individu à des sociétés urbaines industrielles prospères et individualistes. L’échec du développement des pays africains au cours des années 60 a fait douter Wallerstein de la pertinence de ce modèle. Il a alors cherché à élaborer une théorie alternative de la modernité à l’échelle globale. Au lieu de lire l’histoire mondiale selon le fil d’une modernisation qui serait un processus se réalisant à l’échelle sociétale, il l’a organisée autour de l’échange inégal entre zones exploiteuses et exploitées appartenant à un même système social appelé « système-monde moderne. » L’histoire de la modernité depuis la Renaissance et la conquête de l’Amérique devenait alors celle d’une polarisation continue entre les différentes zones de ce système, sa globalisation à partir de la deuxième moitié du dix-huitième siècle et durant tout le dix-neuvième ne faisant qu’étendre au monde entier l’inégalité entre un centre développé et une périphérie sous-développée. Au-delà de la critique de la théorie de la modernisation et du développementalisme, l’analyse des systèmes-monde a aussi procédé à une remise en cause de l’image progressiste de l’histoire qui s’était imposée depuis la philosophie des Lumières. Le système-monde moderne apparu au tournant du quinzième et du seizième siècle, comme tout système, aura une fin, comme il a eu un début. Nous vivons dans un système social qui en tant que tel est voué à disparaître sans qu’on puisse dire s’il constitue un progrès par rapport aux précédents (jamais aucun système social n’a été aussi inégalitaire), ni s’il donnera naissance à un système qui sera meilleur (en bifurcation chaotique l’avenir est incertain).En élaborant une autre « chronosophie » (Krystof Pomian), une autre « image » (Thomas Kuhn) de l’histoire que celle, progressiste, qui sous-tendait le développementalisme et la théorie de la modernisation, c’est bien une révolution copernicienne et une rupture épistémologique dans les sciences sociales qu’expose l’analyse des systèmes-monde. C’est donc bien un nouveau paradigme qu’elle se propose de constituer, l’œuvre de Wallerstein incarnant le passage des histoires mondiales classiques fondées sur le nationalisme méthodologique et l’idée de progrès, vers les histoires globales actuelles. / This PhD thesis aims to study the epistemological break produced by world-systems analysis in the field of social sciences, through the study of one of its major representatives, Immanuel Wallerstein. Initially, his research on nationalist movements, decolonization and African Independences was part of what has been called modernization’s theory. Such a model, built on a progressist philosophy of history, orders societies - perceived as discrete entities - on a linear axis leading from tradition to modernity, from poor and oppressive agrarian societies to prosperous and individualistic urban, industrial societies. The failure of development in African countries during the 1960s caused Wallerstein to doubt the relevance of this model. He then sought to elaborate an alternative theory of modernity on a global scale. In this theory, modernisation - a process realizable on the societal scale - is not the guiding thread to the reading of world history. Rather, world history is organised through the unequal exchange between exploitative and exploited zones belonging to the same social system he called “modern world-system”. The history of modernity from the Renaissance and the conquest of America onwards became one of continuous polarisation between different zones of the system. Its globalisation from the second half of the eighteenth and throughout the nineteenth century expanded inequality between a developed centre and an underdeveloped periphery to the entire world. Further to the critique of modernisation and developmentalism, the world-systems analysis has also called into question the progressive image of history which had been imposed since the Enlightenment philosophy. The modern world-system as it emerges at the turn of the fifteenth to the sixteenth century will have a demise as it had a beginning. As a social system, it is bound to disappear. It does not constitute an improvement with regard to the precedent systems (never has any social system been so inegalitarian) and it is unlikely to breed a better system since in a chaotic bifurcation, the future is uncertain.By elaborating a new “image” (Thomas Kuhn) of history, a new chronosophy (Krzysztof Pomian), the world-systems analysis operates a Copernican revolution and an epistemological rupture in the social sciences with regards to the theory of modernisation presented as the compendium of nineteenth century social science. As such, the world-systems analysis emerges as a new paradigm. Wallerstein’s work constitutes the passage from world histories founded on methodological nationalism and the idea of progress to the current non-Eurocentric global histories.

Os ensaios laboratoriais para avaliação técnica ou estudo de material de irrigação envolvem a medição de diversas grandezas, bem como o monitoramento e controle das condições de ensaio. Qualquer sistema de medição e controle naturalmente apresenta instabilidades que podem afetar a qualidade dos resultados de ensaio, implicando em aumento da incerteza no processo de medição. A implementação do Controle Estatístico de Qualidade pode ser promissora para detecção de causas externas de variação, avaliação da variação máxima permitida aos dados de um processo e discriminação das principais componentes de variabilidade de um sistema de medição. Nesse sentido, considerando a hipótese de possibilidade de aprimoramento da qualidade dos resultados de ensaios, a presente pesquisa teve por objetivo utilizar técnicas de controle estatístico de qualidade e análise de sistemas de medição para avaliar o grau de adequação de bancadas de ensaio de emissores de microirrigação, aperfeiçoar os sistemas de medição e controle adotados nas bancadas e diagnosticar a porcentagem de contribuição dos fatores inerentes aos sistemas de medição e controle na variabilidade total das medidas de vazão em ensaios de uniformidade. A pesquisa foi conduzida no Laboratório de Ensaios de Material de Irrigação (LEMI/INCTEI/ ESALQ/USP). Foram elaborados gráficos de controle de Shewhart, média móvel exponencialmente ponderada (MMEP), além de índices de capacidade para o processo de medição da pressão de ensaio, monitoramento de temperatura da água e vazão, consideradas como as variáveis características da qualidade para ensaios de determinação das curvas de vazão em função da pressão de entrada e uniformidade de vazão de emissores de microaspersão e gotejamento. Além disso, realizou-se estudo de repetitividade e reprodutibilidade (Gage RR) do sistema de medição da vazão, para o qual foram utilizadas 10 repetições, sob três turnos de trabalho (manhã, tarde e noite), com 13 emissores na bancada de microaspersão e 25 emissores na bancada de gotejamento. Não houve influência do turno de trabalho nas medidas de vazão obtidas e o aprimoramento do processo de ajuste da pressão de ensaio pela implantação de um controlador proporcional integrativo-derivativo (PID) ao ensaio de microaspersores foi suficientemente detectado pela aplicação dos gráficos de controle. A pressão e temperatura da água se mantiveram estáveis durante cada ensaio, e não foram identificadas causas não aleatórias de variabilidade na rotina de ensaios. O processo de controle e medição da pressão, para as duas bancadas, foi classificado como\"excelente\" quanto ao desempenho e capacidade de se manter entre os limites de especificação e centralização em relação ao valor de referência (alvo desejado). Como esperado, a variabilidade entre emissores foi a componente de maior contribuição na variância total da vazão, correspondendo a 95,47% e 96,77% para microaspersão e gotejamento, respectivamente. A repetitividade e reprodutibilidade do sistema de medição de vazão (Gage RR) foi \"aceitável\" para as duas bancadas, com as respectivas contribuições de 4,53% e 3,23%, em relação à variância total, associados às incertezas do Gage RR. / Laboratory tests for technical evaluation or irrigation material testing involve the measurement of various greatnesses, as well as monitoring and control of test conditions. Any measurement and control system naturally presents instabilities that can affect the quality of the test results, resulting in increased measurement uncertainty. The implementation of the Statistical Quality Control may be promising for detecting causes of variation non-random, evaluation of the tolerance permitted to data of the process and breakdown of the main variability components of a measuring system. In this sense, considering the hypothesis of possibility of improving the quality of test results, the present study aimed at using statistical quality control techniques and measurement systems analysis to assess the reliability of test benches of microirrigation emitters, improve measurement and control systems adopted in the benches and to diagnose percentage of contribution of the factors inherent in the measurement and control systems in the total variability of flow measurements on uniformity tests. The research was carried in Laboratório de Ensaios de Material de Irrigação (LEMI/INCTEI/ ESALQ/USP). Shewhart control charts were developed, exponentially weighted moving average (EWMA), and capability index for the process of measuring the test pressure, temperature monitoring of water and flow, regarded as the quality variables for determination the flow curves as a function of inlet pressure and uniformity of flow for microsprinkler emitters and drip. In addition, it was made study of repeatability and reproducibility (Gage RR) of flow measurement system for which were used 10 repetitions in three work shifts (morning, afternoon and evening), with 13 emitters in the microsprinkler\'s bench and 25 emitters in the drip bench. There wasn\'t influence of the work shift in the obtained measures for flow and the improvement of the adjustment process of the test pressure for the implementation of the integrative-derivative proportional controller (PID) to microsprinklers test was sufficiently detected by control charts. The pressure and water of temperature remained stable during the tests and weren\'t identified non-random causes of variability in routine tests. The process control and measurement of pressure was classified \"excellent\" to performance and capability to remain in the range of specification and centralization in relation to the reference value (desired target), to the two benches. As expected, the variability between emitters was the greater contribution component in the total variance of flow, corresponding to 95.47% and 96.77% for microsprinkler and drip, respectively. The repeatability and reproducibility for flow measurement system (Gage RR) was \"acceptable\" for the two benches, with the contributions respective of 4.53% and 3.23% relative to the total variance, associated with uncertainties of Gage RR.

This essay examines the presence of cognitive biases in governmental acquisitions of technical systems. The four examined biases are Prior hypotheses and focusing on limited targets, Exposure to limited alternatives, Insensitivity to outcome probabilities and Illusion of manageability. These were examined through a case study of systems purchases for governmental agencies. The essay identified parts of Försvarsmaktens handbok i studiemetodik where the text was written in such a way where there was a risk of bias being present. These were identified through a qualitative text analysis and semi-structured interviews. Because of the presence of bias found in the text, a chapter dedicated to risk of bias was recommended, as well as certain amendments to the text to prohibit biased interpretations. / Detta självständiga arbete granskar förekomsten av kognitiva bias, mentala feltänk, i myndighetsanskaffning av tekniska system. De fyra biaser som granskas är Prior hypotheses and focusing on limited targets, tidigare hypotes-bias, Exposure to limited alternatives, begränsade alternativ-bias, Insensitivity to outcome probabilities, okänslighet för sannolikhet-bias, och Illusion of manageability, illusion av hanterbarhet. Detta granskades i en fallstudie, där systeminköp för statliga myndigheter granskades. Texten identifierade delar av Försvarsmaktens handbok i studiemetodik där den var skriven på ett sådant sätt att dessa biaser kunde förekomma. Dessa identifierades genom en kvalitativ textanalys och semi-strukturerade intervjuer. På grund av förekomsten rekommenderades att ett biaskapitel införs i handboken, samt att utvalda delar av redan skriven text skrivs om eller belyser risken för påverkan av bias.

Les logiciels sont devenus une partie importante de notre vie quotidienne, car ils sont maintenant utilisés dans de nombreux périphériques hétérogènes, tels que nos téléphones, nos voitures, nos appareils ménagers, etc. Ces périphériques sont parsemés d’un certain nombre de logiciels intégrés, chacun gérant une tâche spécifique. Ces logiciels intégrés sont conçus pour fonctionner à l’intérieur de systèmes plus vastes avec un matériel varié et hétérogène et des ressources limitées. L'utilisation de logiciels embarqués est motivée par la flexibilité et la simplicité que ces logiciels peuvent garantir, ainsi que par la réduction des coûts. Les Cyber-Physical System (CPS) sont des logiciels utilisés pour contrôler des systèmes physiques. Les CPS sont souvent intégrés et s'exécutent en temps réel, ce qui signifie qu'ils doivent réagir aux événements externes. Un CPS complexe peut contenir de nombreux systèmes en temps réel. Le fait que ces systèmes puissent être utilisés dans des domaines critiques tels que la médecine ou les transports exige un haut niveau de sécurité pour ces systèmes. Les systèmes temps réel (RTS), par définition, sont des systèmes informatiques de traitement qui doivent répondre à des entrées générées de manière externe. Ils sont appelés temps réel car leur réponse doit respecter des contraintes de temps strictes. Par conséquent, l'exactitude de ces systèmes ne dépend pas seulement de l'exactitude des résultats de leur traitement, mais également du moment auquel ces résultats sont donnés. Le principal problème lié à l'utilisation de systèmes temps réel est la difficulté de vérifier leurs contraintes de synchronisation. Un moyen de vérifier les contraintes de temps peut consister à utiliser la théorie de la planification, stratégie utilisée pour partager les ressources système entre ses différents composants. Outre les contraintes de temps, il convient de prendre en compte d'autres contraintes, telles que la consommation d'énergie ou la sécurité. Plusieurs méthodes de vérification ont été utilisées au cours des dernières années, mais avec la complexité croissante des logiciels embarqués, ces méthodes atteignent leurs limites. C'est pourquoi les chercheurs se concentrent maintenant sur la recherche de nouvelles méthodes et de nouveaux formalismes capables de vérifier l'exactitude des systèmes les plus complexes. Aujourd'hui, une classe de méthodes de vérification bien utilisées est les techniques basées sur des modèles. Ces techniques décrivent le comportement du système considéré à l'aide de formalismes mathématiques, puis, à l'aide de méthodes appropriées, permettent d'évaluer l'efficacité du système par rapport à un ensemble de propriétés. Dans ce manuscrit, nous nous concentrons sur l'utilisation de techniques basées sur des modèles pour développer de nouvelles techniques de planification afin d'analyser et de valider la satisfiabilité d'un certain nombre de propriétés sur des systèmes temps réel. L'idée principale est d'exploiter la théorie de l'ordonnancement pour proposer ces nouvelles techniques. Pour ce faire, nous proposons un certain nombre de nouveaux modèles afin de vérifier la satisfiabilité d'un certain nombre de propriétés telles que l'ordonnancement, la consommation d'énergie ou la fuite d'informations. / Software’s become an important part of our daily life as they are now used in many heterogeneous devices, such as our phones, our cars, our home appliances … etc. These devices are dotted with a number of embedded software’s, each handling a specific task. These embedded software’s are designed to run inside larger systems with various and heterogeneous hardware and limited resources. The use of embedded software is motivated by the flexibility and the simplicity that these software can guarantee, and to minimize the cost. Cyber-Physical System (CPS) are software used to control physical systems. CPS are often embedded and run in real-time, which means that they must react to external events. A complex CPS can contains many real-time systems. The fact that these systems can be used in critical domains like medicine or transport requires a high level of safety for these systems. Real-Time Systems (RTS) by definition are processing information systems that have to respond to externally generated inputs, and they are called real-time because their response must respect a strict timing constraints. Therefore, the correctness of these systems does not depend only on the correctness of their treatment results, but it also depends on the timings at which these results are given. The main problem with using real-time systems is the difficulty to verify their timing constraints. A way to verify timing constraints can be to use Scheduling theory which is a strategy used in order to share the system resources between its different components. In addition to the timing constraints, other constraints should be taken in consideration, like energy consumption or security. Several verification methods have been used in the last years, but with the increasing complexity of the embedded software these methods reach their limitation. That is why researchers are now focusing their works on finding new methods and formalisms capable of verifying the correctness of the most complex systems. Today, a well-used class of verification methods are model-based techniques. These techniques describe the behavior of the system under consideration using mathematical formalisms, then using appropriate methods they give the possibility to evaluate the correctness of the system with respect to a set of properties. In this manuscript we focus on using model-based techniques to develop new scheduling techniques in order to analyze and validate the satisfiability of a number of properties on real-time systems. The main idea is to exploit scheduling theory to propose these new techniques. To do that, we propose a number of new models in order to verify the satisfiability of a number of properties as schedulability, energy consumption or information leakage.