Model-Based Verification of Dynamic System Behavior against Requirements
|
|
- Max Nyström
- för 7 år sedan
- Visningar:
Transkript
1 Linköping Studies in Science and Technology Dissertation No Model-Based Verification of Dynamic System Behavior against Requirements Method, Language, and Tool by Wladimir Schamai Department of Computer and Information Science Linköping University SE Linköping, Sweden Linköping 2013
2 Copyright 2013 Wladimir Schamai ISBN ISSN Thesis No October 2013 Electronic version available at: Printed by LiU-Tryck 2013
3 Abstract Modeling and simulation of complex systems is at the heart of any modern engineering activity. Engineers strive to predict the behavior of the system under development in order to get answers to particular questions long before physical prototypes or the actual system are built and can be tested in real life. An important question is whether a particular system design fulfills or violates requirements that are imposed on the system under development. When developing complex systems, such as spacecraft, aircraft, cars, power plants, or any subsystem of such a system, this question becomes hard to answer simply because the systems are too complex for engineers to be able to create mental models of them. Nowadays it is common to use computer-supported modeling languages to describe complex physical and cyber-physical systems. The situation is different when it comes to describing requirements. Requirements are typically written in natural language. Unfortunately, natural languages fail at being unambiguous, in terms of both syntax and semantics. Automated processing of natural-language requirements is a challenging task which still is too difficult to accomplish via computer for this approach to be of significant use in requirements engineering or verification. This dissertation proposes a new approach to design verification using simulation models that include formalized requirements. The main contributions are a new method that is supported by a new language and tool, along with case studies. The method enables verification of system dynamic behavior designs against requirements using simulation models. In particular, it shows how naturallanguage requirements and scenarios are formalized. Moreover, it presents a framework for automating the composition of simulation models that are used for design verification, evaluation of verification results, and sharing of new knowledge inferred in verification sessions. A new language called ModelicaML was developed to support the new method. It enables requirement formalization and integrates UML and Modelica. The language and the developed algorithms for automation are implemented in a prototype that is based on Eclipse Papyrus UML, Acceleo, and Xtext for modeling, and OpenModelica tools for simulation. The prototype is used to illustrate the applicability of the new method to examples from industry. The case studies presented start with sets of natural-language requirements and show how they are translated into models. Then, designs and verification scenarios are modeled, and simulation models are composed and simulated automatically. The simulation results produced are then used to draw conclusions on requirement violations; this knowledge is shared using semantic web technology. This approach supports the development and dynamic verification of cyberphysical systems, including both hardware and software components. ModelicaML facilitates a holistic view of the system by enabling engineers to model and verify multi-domain system behavior using mathematical models and state-of-the-art
4 simulation capabilities. Using this approach, requirement inconsistencies, incorrectness, or infeasibilities, as well as design errors, can be detected and avoided early on in system development. The artifacts created can be reused for product verification in later development stages. This work has been supported by EADS Innovation Works, the German Federal Ministry of Education and Research (BMBF), and the Swedish Governmental Agency for Innovation Systems (Vinnova) in the ITEA2 OPENPROD and MODRIO projects, and by SSF and ELLIIT.
5 Populärvetenskaplig sammanfattning Modellering och simulering är idag centrala inslag i modern produktutveckling. Man kan göra modeller av en produkt i datorn redan innan den är tillverkad och simulera dess beteende. På så sätt kan man tidigt eliminera felaktigheter på designstadiet och öka kvaliteten. En viktig frågeställning är om en viss design kan verifieras, dvs om den uppfyller ställda krav på produkten. Detta är vanligen svårt att svara på för komplexa produkter som exempelvis bilar, flygplan och kraftverk. Anledningen är att det är svårt för en person att skapa sig en mental modell av alla aspekter för en så komplex produkt. Idag är det vanligt att använda datorstödda modelleringsspråk för att beskriva komplexa produkter och system. Situationen är dock en annan för produktkraven. De skrivs typiskt i ett vanligt naturligt språk som svenska eller engelska. Detta är problematiskt eftersom naturliga språk är flertydiga och inte tillräckligt exakta för att krav skrivna i sådana språk entydigt ska kunna tolkas och verifieras av en dator. För att lösa dessa problem presenterar denna avhandling en ny metod för att verifiera krav med användning av simuleringsmodeller som innehåller formaliserade krav, dvs krav uttryckta i ett exakt formaliserat datorspråk. Avhandlingens forskningsbidrag omfattar en ny metod, ett nytt verktyg med ett nytt modelleringsspråk, samt fallstudier med metoden och verktyget tillämpade på mindre industriella problemställningar. Denna metod möjliggör automatisk verifiering av krav. Man får reda på om den tänkta produkten, beskriven som en simuleringsmodell, uppfyller kraven för de användningsfall som man modellerat. Dessutom visas hur krav och användningsfall uttryckta i naturligt språk kan skrivas om i modelleringsspråket för att bli formella och exakta. Vidare ingår ett ramverk för att automatisera sammansättning av simuleringsmodeller för designverifiering, utvärdering av verifieringsresultat, och genererande av rapporter med kunskap som erhållits under verifieringsprocessen. Det nya språket, kallat ModelicaML, utvecklades under avhandlingsarbetet för att stödja den nya metoden. Det möjliggör exakt formell beskrivning av krav och baseras på modelleringsspråken UML, känt för mjukvarumodellering, och Modelica, mest känt för hårdvarumodellering. Därmed kan ModelicaML göra cyberfysikalisk modellering, dvs uttrycka modeller och krav för produkter som innehåller både programvara och hårdvara. Själva simuleringen utförs t.ex. med OpenModelica som är en öppen källkodsimplementation av utvecklingsverktyg för Modelicaspråket. Sammanfattningsvis ger den nya metoden och verktyget en helhetsyn för utveckling av komplexa produktsystem innehållande både hårdvara och mjukvara. Metoden ger stöd till utvecklingsingenjörer som behöver modellera och verifiera komplexa produktmodeller på ett matematiskt exakt sätt. Med denna metod kan fel
6 och motsägelser i kraven samt rena designfel upptäckas och åtgärdas tidigt under produktutvecklingen. Detta arbete har stötts av EADS Innovation Works och Vinnova samt Tyska undervisnings och forskningsdepartementet (BMBF) inom ITEA2 OPENPROD och MODRIO projekten, samt av SSF och ELLIIT.
Semantic and Physical Modeling and Simulation of Multi-Domain Energy Systems: Gas Turbines and Electrical Power Networks
DEGREE PROJECT IN ELECTRICAL ENGINEERING, SECOND CYCLE, 30 CREDITS STOCKHOLM, SWEDEN 2017 Semantic and Physical Modeling and Simulation of Multi-Domain Energy Systems: Gas Turbines and Electrical Power
Läs merExamensarbete Introduk)on - Slutsatser Anne Håkansson annehak@kth.se Studierektor Examensarbeten ICT-skolan, KTH
Examensarbete Introduk)on - Slutsatser Anne Håkansson annehak@kth.se Studierektor Examensarbeten ICT-skolan, KTH 2016 Anne Håkansson All rights reserved. Svårt Harmonisera -> Introduktion, delar: Fråga/
Läs merKursplan. MT1051 3D CAD Grundläggande. 7,5 högskolepoäng, Grundnivå 1. 3D-CAD Basic Course
Kursplan MT1051 3D CAD Grundläggande 7,5 högskolepoäng, Grundnivå 1 3D-CAD Basic Course 7.5 Higher Education Credits *), First Cycle Level 1 Mål Studenten ska efter avslutad kurs ha inhämtat grunderna
Läs merProgramvaruintensiva system
Programvaruintensiva system PROFESSOR PER RUNESON, DATAVETENSKAP, LTH PER.RUNESON@CS.LTH.SE CC alijavam at Flickr Mjukvara finns överallt About half of Sweden s exported products are critically dependent
Läs merGoals for third cycle studies according to the Higher Education Ordinance of Sweden (Sw. "Högskoleförordningen")
Goals for third cycle studies according to the Higher Education Ordinance of Sweden (Sw. "Högskoleförordningen") 1 1. Mål för doktorsexamen 1. Goals for doctoral exam Kunskap och förståelse visa brett
Läs mer2.1 Installation of driver using Internet Installation of driver from disk... 3
&RQWHQW,QQHKnOO 0DQXDOÃ(QJOLVKÃ'HPRGULYHU )RUHZRUG Ã,QWURGXFWLRQ Ã,QVWDOOÃDQGÃXSGDWHÃGULYHU 2.1 Installation of driver using Internet... 3 2.2 Installation of driver from disk... 3 Ã&RQQHFWLQJÃWKHÃWHUPLQDOÃWRÃWKHÃ3/&ÃV\VWHP
Läs merCollaborative Product Development:
Collaborative Product Development: a Purchasing Strategy for Small Industrialized House-building Companies Opponent: Erik Sandberg, LiU Institutionen för ekonomisk och industriell utveckling Vad är egentligen
Läs merSri Lanka Association for Artificial Intelligence
Sri Lanka Association for Artificial Intelligence First Sinhala Chatbot in action Budditha Hettige Department of Statistics and Computer Science, Faculty of Applied Science, University of Sri Jayewardenepura,
Läs merBeijer Electronics AB 2000, MA00336A, 2000-12
Demonstration driver English Svenska Beijer Electronics AB 2000, MA00336A, 2000-12 Beijer Electronics AB reserves the right to change information in this manual without prior notice. All examples in this
Läs merSwedish adaptation of ISO TC 211 Quality principles. Erik Stenborg
Swedish adaptation of ISO TC 211 Quality principles The subject How to use international standards Linguistic differences Cultural differences Historical differences Conditions ISO 19100 series will become
Läs merFOI MEMO. Jonas Hallberg FOI Memo 5253
Projekt/Project Security culture and information technology Projektnummer/Project no Kund/Customer B34103 MSB Sidnr/Page no 1 (5) Handläggare/Our reference Datum/Date Jonas Hallberg 2015-01-21 FOI Memo
Läs merQuality-Driven Process for Requirements Elicitation: The Case of Architecture Driving Requirements
FOI-R--1576--SE February 2005 ISSN 1650-1942 User report Niklas Hallberg, Richard Andersson, Lars Westerdahl Quality-Driven Process for Requirements Elicitation: The Case of Architecture Driving Requirements
Läs merKursplan. EN1088 Engelsk språkdidaktik. 7,5 högskolepoäng, Grundnivå 1. English Language Learning and Teaching
Kursplan EN1088 Engelsk språkdidaktik 7,5 högskolepoäng, Grundnivå 1 English Language Learning and Teaching 7.5 Higher Education Credits *), First Cycle Level 1 Mål Efter genomgången kurs ska studenten
Läs merSyns du, finns du? Examensarbete 15 hp kandidatnivå Medie- och kommunikationsvetenskap
Examensarbete 15 hp kandidatnivå Medie- och kommunikationsvetenskap Syns du, finns du? - En studie över användningen av SEO, PPC och sociala medier som strategiska kommunikationsverktyg i svenska företag
Läs merKursplan. AB1029 Introduktion till Professionell kommunikation - mer än bara samtal. 7,5 högskolepoäng, Grundnivå 1
Kursplan AB1029 Introduktion till Professionell kommunikation - mer än bara samtal 7,5 högskolepoäng, Grundnivå 1 Introduction to Professional Communication - more than just conversation 7.5 Higher Education
Läs merUnderstanding Innovation as an Approach to Increasing Customer Value in the Context of the Public Sector
Thesis for the degree of Licentiate of Philosophy, Östersund 2014 Understanding Innovation as an Approach to Increasing Customer Value in the Context of the Public Sector Klas Palm Supervisors: Håkan Wiklund
Läs merUML use cases. Mikael Söderström Institutionen för informatik Umeå universitet micke@informatik.umu.se
UML use cases micke@informatik.umu.se Use case (användningsfall) En modelleringsteknik som hjälper utvecklare att bestämma vilka funktioner som ska implementeras i ett system/applikation Finns olika typer
Läs merSkill-mix innovation in the Netherlands. dr. Marieke Kroezen Erasmus University Medical Centre, the Netherlands
Skill-mix innovation in the Netherlands dr. Marieke Kroezen Erasmus University Medical Centre, the Netherlands m.kroezen@erasmusmc.nl The skill-mix innovation of interest BEFORE AFTER How did the Netherlands
Läs merPEC: European Science Teacher: Scientific Knowledge, Linguistic Skills and Digital Media
PEC: Fredagen den 22/9 2006, Forum För Ämnesdidaktik The aim of the meeting A presentation of the project PEC for the members of a research group Forum För Ämnesdidaktik at the University of Gävle. The
Läs merSWESIAQ Swedish Chapter of International Society of Indoor Air Quality and Climate
Swedish Chapter of International Society of Indoor Air Quality and Climate Aneta Wierzbicka Swedish Chapter of International Society of Indoor Air Quality and Climate Independent and non-profit Swedish
Läs mer1. Compute the following matrix: (2 p) 2. Compute the determinant of the following matrix: (2 p)
UMEÅ UNIVERSITY Department of Mathematics and Mathematical Statistics Pre-exam in mathematics Linear algebra 2012-02-07 1. Compute the following matrix: (2 p 3 1 2 3 2 2 7 ( 4 3 5 2 2. Compute the determinant
Läs merIsolda Purchase - EDI
Isolda Purchase - EDI Document v 1.0 1 Table of Contents Table of Contents... 2 1 Introduction... 3 1.1 What is EDI?... 4 1.2 Sending and receiving documents... 4 1.3 File format... 4 1.3.1 XML (language
Läs merProjektmodell med kunskapshantering anpassad för Svenska Mässan Koncernen
Examensarbete Projektmodell med kunskapshantering anpassad för Svenska Mässan Koncernen Malin Carlström, Sandra Mårtensson 2010-05-21 Ämne: Informationslogistik Nivå: Kandidat Kurskod: 2IL00E Projektmodell
Läs merSVENSK STANDARD SS-EN ISO :2009/AC:2010
SVENSK STANDARD SS-EN ISO 4254-6:2009/AC:2010 Fastställd/Approved: 2010-11-04 Publicerad/Published: 2010-11-30 Utgåva/Edition: 1 Språk/Language: engelska/english ICS: 14.210; 65.060.40 Lantbruksmaskiner
Läs merStudenters erfarenheter av våld en studie om sambandet mellan erfarenheter av våld under uppväxten och i den vuxna relationen
Studenters erfarenheter av våld en studie om sambandet mellan erfarenheter av våld under uppväxten och i den vuxna relationen Silva Bolu, Roxana Espinoza, Sandra Lindqvist Handledare Christian Kullberg
Läs merISTQB Testarens ledstjärna
ISTQB Testarens ledstjärna SSTB SAST-möte 2012-02-23 Vilka är vi? Mångårig erfarenhet från testarbete, testare, testledare, testchef. Utveckling av test metoder och processer. Test kurser. Jobbar som Systemarkitekt
Läs merSwedish framework for qualification www.seqf.se
Swedish framework for qualification www.seqf.se Swedish engineering companies Qualification project leader Proposal - a model to include the qualifications outside of the public education system to the
Läs merPIRATE EU-projekt om attraktivare bytespunkter med fokus på de svenska studieobjekten Lund C och Vellinge Ängar
PIRATE EU-projekt om attraktivare bytespunkter med fokus på de svenska studieobjekten Lund C och Vellinge Ängar Svenska delen Petra Carlson Lena Fredriksson Jan Hammarström P G Andersson Christer Ljungberg
Läs merKursplan. FÖ3032 Redovisning och styrning av internationellt verksamma företag. 15 högskolepoäng, Avancerad nivå 1
Kursplan FÖ3032 Redovisning och styrning av internationellt verksamma företag 15 högskolepoäng, Avancerad nivå 1 Accounting and Control in Global Enterprises 15 Higher Education Credits *), Second Cycle
Läs merTS CASESKOLA B. Asplund, CJ och Bengtsson, L. LTH
TS CASESKOLA B Asplund, CJ och Bengtsson, L. LTH 2016 Ett styrdokument. Är en naturlig del av caset. Bör vara utförlig och strukturerad (se Asplund 2011). Undervisningssyfte, målgrupp, nivå, typ av kurs
Läs merAdding active and blended learning to an introductory mechanics course
Adding active and blended learning to an introductory mechanics course Ulf Gran Chalmers, Physics Background Mechanics 1 for Engineering Physics and Engineering Mathematics (SP2/3, 7.5 hp) 200+ students
Läs merMichael Q. Jones & Matt B. Pedersen University of Nevada Las Vegas
Michael Q. Jones & Matt B. Pedersen University of Nevada Las Vegas The Distributed Application Debugger is a debugging tool for parallel programs Targets the MPI platform Runs remotley even on private
Läs merKursplan. NA3009 Ekonomi och ledarskap. 7,5 högskolepoäng, Avancerad nivå 1. Economics of Leadership
Kursplan NA3009 Ekonomi och ledarskap 7,5 högskolepoäng, Avancerad nivå 1 Economics of Leadership 7.5 Higher Education Credits *), Second Cycle Level 1 Mål Studenterna skall efter genomgången kurs: kunna
Läs merMaster Thesis. Study on a second-order bandpass Σ -modulator for flexible AD-conversion Hanna Svensson. LiTH - ISY - EX -- 08/4064 -- SE
Master Thesis Study on a second-order bandpass Σ -modulator for flexible AD-conversion Hanna Svensson LiTH - ISY - EX -- 08/4064 -- SE Study on a second-order bandpass Σ -modulator for flexible AD-conversion
Läs merSara Skärhem Martin Jansson Dalarna Science Park
Sara Skärhem Martin Jansson Dalarna Science Park Sara Skärhem Martin Jansson Vad är innovation? På Wikipedia hittar man: En innovation är en ny idé, till exempel i form av en produkt, lösning, affärsidé,
Läs merSVENSK STANDARD SS-EN ISO 19108:2005/AC:2015
SVENSK STANDARD SS-EN ISO 19108:2005/AC:2015 Fastställd/Approved: 2015-07-23 Publicerad/Published: 2016-05-24 Utgåva/Edition: 1 Språk/Language: engelska/english ICS: 35.240.70 Geografisk information Modell
Läs merEn bild säger mer än tusen ord?
Faculteit Letteren en Wijsbegeerte Academiejaar 2009-2010 En bild säger mer än tusen ord? En studie om dialogen mellan illustrationer och text i Tiina Nunnallys engelska översättning av Pippi Långstrump
Läs merStiftelsen Allmänna Barnhuset KARLSTADS UNIVERSITET
Stiftelsen Allmänna Barnhuset KARLSTADS UNIVERSITET National Swedish parental studies using the same methodology have been performed in 1980, 2000, 2006 and 2011 (current study). In 1980 and 2000 the studies
Läs merKlicka här för att ändra format
på 1 på Marianne Andrén General Manager marianne.andren@sandviken.se Sandbacka Park Högbovägen 45 SE 811 32 Sandviken Telephone: +46 26 24 21 33 Mobile: +46 70 230 67 41 www.isea.se 2 From the Off e project
Läs merEU:s ministerkonferens för e-förvaltning under det svenska ordförandeskapet
EU:s ministerkonferens för e-förvaltning under det svenska ordförandeskapet Seminarium 1:6 Föreläsare Urban Funered, urban.funered@finance.ministry.se Offentliga Rummet, Norrköping, 26 Maj 2009 Urban Funered
Läs merAvveckla patentsystemet - Går det?
Avveckla patentsystemet - Går det? IPC-forum 6 september 2009 Jacob Hallén jacob@openend.se Det finns vissa hinder TRIPS Trade-Related Aspects of Intellectual Property Rights EPC European Patent Convention
Läs merhttp://marvel.com/games/play/31/create_your_own_superhero http://www.heromachine.com/
Name: Year 9 w. 4-7 The leading comic book publisher, Marvel Comics, is starting a new comic, which it hopes will become as popular as its classics Spiderman, Superman and The Incredible Hulk. Your job
Läs merMaterialplanering och styrning på grundnivå. 7,5 högskolepoäng
Materialplanering och styrning på grundnivå Provmoment: Ladokkod: Tentamen ges för: Skriftlig tentamen TI6612 Af3-Ma, Al3, Log3,IBE3 7,5 högskolepoäng Namn: (Ifylles av student) Personnummer: (Ifylles
Läs merISO STATUS. Prof. dr Vidosav D. MAJSTOROVIĆ 1/14. Mašinski fakultet u Beogradu - PM. Tuesday, December 09,
ISO 9000 - STATUS Prof. dr Vidosav D. MAJSTOROVIĆ 1/14 1 ISO 9000:2000, Quality management systems - Fundamentals and vocabulary Establishes a starting point for understanding the standards and defines
Läs merKursplan. IK1004 Java - Grafiska användargränssnitt med Swing. 7,5 högskolepoäng, Grundnivå 1. Java - GUI Programming with Swing - Undergraduate Level
Kursplan IK1004 Java - Grafiska användargränssnitt med Swing 7,5 högskolepoäng, Grundnivå 1 Java - GUI Programming with Swing - Undergraduate Level 7.5 Higher Education Credits *), First Cycle Level 1
Läs merVälkommen in på min hemsida. Som företagsnamnet antyder så sysslar jag med teknisk design och konstruktion i 3D cad.
Välkommen in på min hemsida. Som företagsnamnet antyder så sysslar jag med teknisk design och konstruktion i 3D cad. har varit aktivt sedan 2004, men min bransch erfarenhet började redan 1983. Jag sysslar
Läs merBOX SOLFALL. Anna Lamberg. 8 januari 7 februari
BOX SOLFALL Anna Lamberg 8 januari 7 februari Utgiven av Galleri BOX i samband med utställningen Solfall av och med Anna Lamberg. Galleri BOX stöds av Göteborgs Stad och Kulturrådet. 2016-01-08 Utställningen
Läs merObemannade flygplan. Namn: Hampus Hägg. Datum: 2015-03-02. Klass: TE14B. Gruppmedlemmar: Gustav, Emilia, Henric och Didrik
Namn: Hampus Hägg Obemannade flygplan Datum: 2015-03-02 Klass: TE14B Gruppmedlemmar: Gustav, Emilia, Henric och Didrik Handledare: David, Björn och Jimmy Abstract In this task I ve been focusing on unmanned
Läs merInformation technology Open Document Format for Office Applications (OpenDocument) v1.0 (ISO/IEC 26300:2006, IDT) SWEDISH STANDARDS INSTITUTE
SVENSK STANDARD SS-ISO/IEC 26300:2008 Fastställd/Approved: 2008-06-17 Publicerad/Published: 2008-08-04 Utgåva/Edition: 1 Språk/Language: engelska/english ICS: 35.240.30 Information technology Open Document
Läs merASSESSMENT AND REMEDIATION FOR CHILDREN WITH SPECIAL EDUCATIONAL NEEDS:
ASSESSMENT AND REMEDIATION FOR CHILDREN WITH SPECIAL EDUCATIONAL NEEDS: THE ROLE OF WORKING MEMORY, COMPLEX EXECUTIVE FUNCTION AND METACOGNITIVE STRATEGY TRAINING Avdelningen för psykologi Mittuniversitetet
Läs merNationellt stöd för finansiering av mjukvaruberoende innovation ANDREAS ALLSTRÖM
Nationellt stöd för finansiering av mjukvaruberoende innovation ANDREAS ALLSTRÖM Om Vinnova 200 anställda Stockholm, Bryssel, Silicon Valley, Tel Aviv Myndighet under Näringsdepartementet Tre roller Investeringar
Läs merTestning som beslutsstöd
Testning som beslutsstöd Vilken typ av information kan testning ge? Vilken typ av testning kan ge rätt information i rätt tid? Hur kan testning hjälpa din organisation med beslutsstöd? Hur kan produktiviteten
Läs merIsometries of the plane
Isometries of the plane Mikael Forsberg August 23, 2011 Abstract Här följer del av ett dokument om Tesselering som jag skrivit för en annan kurs. Denna del handlar om isometrier och innehåller bevis för
Läs merLäkemedelsverkets Farmakovigilansdag
Swedish Medical Products Agency s Patient- and Consumer Advisory Board Brita Sjöström May 29, 2018 Patientrådet@mpa.se https://lakemedelsverket.se/patient-konsument-rad The vision of the Swedish Medical
Läs merWittgenstein for dummies Eller hur vi gör det obegripliga begripligt. Västerås 15 februari 2017
Wittgenstein for dummies Eller hur vi gör det obegripliga begripligt Västerås 15 februari 2017 En värld är varje människa, befolkad av blinda varelser i dunkelt uppror mot jaget konungen som härskar över
Läs merTRENDERNA SOM FORMAR DIN VERKLIGHET 2014 ÅRETS IT AVDELNING 2014 2014-01-23
TRENDERNA SOM FORMAR DIN VERKLIGHET 2014 ÅRETS IT AVDELNING 2014 2014-01-23 THE POWER OF INTEGRATION There will not exist hardware without services integrated, services without applications surrounding
Läs merMÅLSTYRNING OCH LÄRANDE: En problematisering av målstyrda graderade betyg
MÅLSTYRNING OCH LÄRANDE: En problematisering av målstyrda graderade betyg Max Scheja Institutionen för pedagogik och didaktik Stockholms universitet E-post: max.scheja@edu.su.se Forskning om förståelse
Läs merBiblioteket.se. A library project, not a web project. Daniel Andersson. Biblioteket.se. New Communication Channels in Libraries Budapest Nov 19, 2007
A library project, not a web project New Communication Channels in Libraries Budapest Nov 19, 2007 Daniel Andersson, daniel@biblioteket.se 1 Daniel Andersson Project manager and CDO at, Stockholm Public
Läs merRegressionstestning teori och praktik
Regressionstestning teori och praktik Lic. Emelie Engström emelie.engstrom@cs.lth.se Software Engineering Research Group LUND UNIVERSITY Sweden SWELL the Swedish Research School in Software Verification
Läs merKursplan. AB1030 Att arbeta i projekt. 7,5 högskolepoäng, Grundnivå 1. Working in projects
Kursplan AB1030 Att arbeta i projekt 7,5 högskolepoäng, Grundnivå 1 Working in projects 7.5 Higher Education Credits *), First Cycle Level 1 Mål Kursens övergripande mål är att den studerande ska tillägna
Läs merGeoGebra in a School Development Project Mathematics Education as a Learning System
Karlstad GeoGebra in a School Development Project Mathematics Education as a Learning System Dé dag van GeoGebra Zaterdag 19 oktober 2013 GeoGebra Instituut Vlaanderen, Brussell 1 2 GeoGebra in a School
Läs merFortsatt Luftvärdighet
Fortsatt Luftvärdighet Luftvärdighetsuppgifterna Underhåll CAMO och Del-145 Vem ansvarar för vad Presentatör Johan Brunnberg, Flygteknisk Inspektör & Del-M Koordinator Sjö- och luftfartsavdelningen Enheten
Läs merDE TRE UTMANINGARNA..
DE TRE UTMANINGARNA.. SYSTEM MATERIAL PROCESSER PROTOTYP UTVECKLING SERIE UTVECKLINGSFASER NY LEVERANTÖR System Process AS9100 NadCap Geometri Legering In718/ Ti Rf/ Al Standard ISO9000 TID RESAN MOT MÅLET
Läs merDesign för användbarhet
Design för användbarhet» Användbarhetsdesign, användbarhetsn och utvecklingsprocessen. Bengt Göransson användbarhets Bengt.Goransson@guide.se även avdelningen för Människa-datorinteraktion, Uppsala universitet
Läs merMethods to increase work-related activities within the curricula. S Nyberg and Pr U Edlund KTH SoTL 2017
Methods to increase work-related activities within the curricula S Nyberg and Pr U Edlund KTH SoTL 2017 Aim of the project Increase Work-related Learning Inspire theachers Motivate students Understanding
Läs merSweLL & legal aspects. Elena Volodina
SweLL & legal aspects Elena Volodina WG5 meeting, Bolzano, September, 7, 2017 SweLL Research infrastructure for Swedish as a Second Language Elena Volodina Lena Granstedt, Julia Prentice, Monica Reichenberg,
Läs merBasis for Environmental Product Declaration Smart Development Sweden
Nr C 420 Juni 2019 Basis for Environmental Product Declaration Smart Development Sweden - Slutrapport av delprojekt inom GrönBostad Stockholm Jacob Lindberg, Diego Peñaloza Författare: Jacob Lindberg och
Läs merFlervariabel Analys för Civilingenjörsutbildning i datateknik
Flervariabel Analys för Civilingenjörsutbildning i datateknik Henrik Shahgholian KTH Royal Inst. of Tech. 2 / 9 Utbildningens mål Gällande matematik: Visa grundliga kunskaper i matematik. Härmed förstås
Läs merTranslation Changes in Swedish EBSCOhost Interface
Translation Changes in Swedish EBSCOhost Interface Benjamin Runggaldier Regional Sales Manager Sweden 2 Suggested Translation Changes All the suggested changes have been reviewed by the language team Some
Läs merAlla Tiders Kalmar län, Create the good society in Kalmar county Contributions from the Heritage Sector and the Time Travel method
Alla Tiders Kalmar län, Create the good society in Kalmar county Contributions from the Heritage Sector and the Time Travel method Goal Bring back the experiences from the international work of Kalmar
Läs merNot everything that counts can be counted, and not everything that can be counted counts. William Bruce Cameron
Nytta före insats Not everything that counts can be counted, and not everything that can be counted counts William Bruce Cameron Fyra faser Målgrupper 1 3 Visualiering of användarens upplevelse 2 4 Kvalitativ
Läs merEXTERNAL ASSESSMENT SAMPLE TASKS SWEDISH BREAKTHROUGH LSPSWEB/0Y09
EXTENAL ASSESSENT SAPLE TASKS SWEDISH BEAKTHOUGH LSPSWEB/0Y09 Asset Languages External Assessment Sample Tasks Breakthrough Stage Listening and eading Swedish Contents Page Introduction 2 Listening Sample
Läs merVirtuellt VA med digitala tvillingar
Virtuellt VA med digitala tvillingar Digitaliseringens möjligheter Praktisk tillämpning av digitala tvillingar Diskutera framtida digitaliseringen av VA-branschen Maria Bennet, sektionschef Vatten, ÅF
Läs merSystemutveckling. Historiskt grundad introduktion
Systemutveckling Historiskt grundad introduktion Kvalitet som tema Dataområdet kännetecknas av ständig förändring - utveckling - expansion Varje "nyhet" en förbättring Anta att förbättringarna är, eller
Läs mer6 th Grade English October 6-10, 2014
6 th Grade English October 6-10, 2014 Understand the content and structure of a short story. Imagine an important event or challenge in the future. Plan, draft, revise and edit a short story. Writing Focus
Läs merSecond handbook of research on mathematics teaching and learning (NCTM)
Second handbook of research on mathematics teaching and learning (NCTM) The effects of classroom mathematics teaching on students learning. (Hiebert & Grouws, 2007) Inledande observationer Undervisningens
Läs merAtt utveckla och skapa en effektiv och dynamisk process för konsolidering och rapportering
Ulla-Britt Fagerström - Senior lösningsspecialist, IBM Business Analytics 22 maj 2013 Att utveckla och skapa en effektiv och dynamisk process för konsolidering och rapportering Då kan drömmar gå i uppfyllelse
Läs merUTMANINGAR MED FORSKNINGSPROGRAM
UTMANINGAR MED FORSKNINGSPROGRAM SIP-SECURITY Branschens förslag till Strategiskt Innovations Program inom Samhällssäkerhet Ulf Dahlberg, SACS www.civilsecurity.se SIP Strategiskt Innovationsprogram SIP-Security
Läs merÖkat personligt engagemang En studie om coachande förhållningssätt
Lärarutbildningen Fakulteten för lärande och samhälle Individ och samhälle Uppsats 7,5 högskolepoäng Ökat personligt engagemang En studie om coachande förhållningssätt Increased personal involvement A
Läs merKurser inom Datavetenskapligt kandidatprogram och Computer Science Master s programme våren 2010
Kurser inom Datavetenskapligt kandidatprogram och Computer Science Master s programme våren 2010 Inför varje termin måste du söka till de kurser du vill gå. Sista datum för ansökan är den 15oktober. För
Läs merInom det område som utbildningen avser skall studenterna, utöver kunskaper och färdigheter, utveckla förmåga att
Sida 1(5) Utbildningsplan Energiteknikerprogrammet 120 högskolepoäng Energy Technician Programme 120 Credits* 1. Programmets mål 1.1 Mål enligt Högskolelagen (1992:1434), 1 kap. 8 : Utbildning på grundnivå
Läs meren uppsatstävling om innovation Sammanfattning av de vinnande bidragen
en uppsatstävling om innovation Sammanfattning av de vinnande bidragen INNEHÅLLSFÖRTECKNING Förord Jurynsbeslut Jurynsmotiveringar Organiseraförbrukarinvolveringochöppeninnovationi fuzzyfrontend EnfallstudieavGetingeInfectionControlskomplexadesinfektor
Läs merFORSKNINGSKOMMUNIKATION OCH PUBLICERINGS- MÖNSTER INOM UTBILDNINGSVETENSKAP
FORSKNINGSKOMMUNIKATION OCH PUBLICERINGS- MÖNSTER INOM UTBILDNINGSVETENSKAP En studie av svensk utbildningsvetenskaplig forskning vid tre lärosäten VETENSKAPSRÅDETS RAPPORTSERIE 10:2010 Forskningskommunikation
Läs merKursplan. FÖ1038 Ledarskap och organisationsbeteende. 7,5 högskolepoäng, Grundnivå 1. Leadership and Organisational Behaviour
Kursplan FÖ1038 Ledarskap och organisationsbeteende 7,5 högskolepoäng, Grundnivå 1 Leadership and Organisational Behaviour 7.5 Credits *), First Cycle Level 1 Mål Efter genomförd kurs skall studenterna
Läs merJag heter Yu Liu och min forskning handlar om att minska miljöpåverkan inom tillverkningsindustrin.
Jag heter Yu Liu och min forskning handlar om att minska miljöpåverkan inom tillverkningsindustrin. I min forskning studerar jag en produktionsprocess hela livscykel, från materialutvinning tills att produkten
Läs merSCRATCH är ett nytt programmeringsspråk som gör att du kan skapa dina egna interaktiv historier, animationer, spel, musik och konst.
version 1.4 SCRATCH är ett nytt programmeringsspråk som gör att du kan skapa dina egna interaktiv historier, animationer, spel, musik och konst. Dra gå blocket i Scripts-området. Klicka på blocket för
Läs merFöreläsning 4 IS1300 Inbyggda system
Föreläsning 4 IS1300 Inbyggda system Programutveckling Exempel PingPong Idé Tillståndsdiagram State machine Skapa projekt Testning av programvara Peripheral Library till STM32 Programmeringsuppgiften RS232
Läs merA metadata registry for Japanese construction field
A metadata registry for Japanese construction field LCDM Forum, Japan October 25 th -27 th - 2006 TAKEYA, Isobe LCDM Forum Secretariat Document No. GEC-2005-002 LCDM Forum, Japan LCDM Forum, Japan Non-profit
Läs merHealth café. Self help groups. Learning café. Focus on support to people with chronic diseases and their families
Health café Resources Meeting places Live library Storytellers Self help groups Heart s house Volunteers Health coaches Learning café Recovery Health café project Focus on support to people with chronic
Läs merPrograminformation VT 2012 för
Datavetenskapligt program Programinformation VT 2012 för Inför varje termin måste du söka till de kurser du vill gå. Sista datum för ansökan är det 15 oktober. För att du skall antas som programstudent
Läs merNina Pikulik, Tyréns Konfigurationssystem för en teknisk plattform. Konfigurationsprocess istället för traditionell projektering
Nina Pikulik, Tyréns Konfigurationssystem för en teknisk plattform Konfigurationsprocess istället för traditionell projektering Bakgrund Källa: Jerker Lessing Industriellt (trä)byggande Ökad produktivitet
Läs merDet här kan vi och detta vill vi göra
Det här kan vi och detta vill vi göra Kent Eric Lång Sustainable Mobility FFI samverkansforum automatiserade fordon 2012-11-16 Uppdrag ROLL: ENABLER OF INNOVATION Swedish ICT:s roll är att verka för hållbar
Läs merKursplan. NA1032 Makroekonomi, introduktion. 7,5 högskolepoäng, Grundnivå 1. Introductory Macroeconomics
Kursplan NA1032 Makroekonomi, introduktion 7,5 högskolepoäng, Grundnivå 1 Introductory Macroeconomics 7.5 Higher Education Credits *), First Cycle Level 1 Mål Det övergripande målet med kursen är att studenterna
Läs merInnovation Enabled by ICT A proposal for a Vinnova national Strategic innovation Program
Innovation Enabled by ICT A proposal for a Vinnova national Strategic innovation Program Ulf Wahlberg, VP INdustry and Research Relations Ericsson AB Ericsson AB 2012 April 2013 Page 1 Five technological
Läs merEtt hållbart boende A sustainable living. Mikael Hassel. Handledare/ Supervisor. Examiner. Katarina Lundeberg/Fredric Benesch
Ett hållbart boende A sustainable living Mikael Hassel Handledare/ Supervisor Examinator/ Examiner atarina Lundeberg/redric Benesch Jes us Azpeitia Examensarbete inom arkitektur, grundnivå 15 hp Degree
Läs merSocial innovation - en potentiell möjliggörare
Social innovation - en potentiell möjliggörare En studie om Piteå kommuns sociala innovationsarbete Julia Zeidlitz Sociologi, kandidat 2018 Luleå tekniska universitet Institutionen för ekonomi, teknik
Läs merScalable Dynamic Analysis of Binary Code
Linköping Studies in Science and Technology Dissertations, No. 1993 Ulf Kargén FACULTY OF SCIENCE AND ENGINEERING Linköping Studies in Science and Technology, Dissertations, No. 1993, 2019 Department of
Läs mer