| 1. |
|
|
| 2. |
|
|
| 3. |
- Braw, Fredrika, et al.
(författare)
-
Att integrera studenter från olika lärosäten i innovationssprinten Imagine skapar nya möjligheter till aktivt lärande
- 2022
-
Ingår i: Högskolepedagogisk debatt. - : Kristianstad University Press. - 2000-9216. ; 2022:2, s. 22-35
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- Imagine är en pedagogisk modell som syftar till att stärka ett aktivt och innovativt lärande, och har sin teoretiska utgångspunkt i bland annat Mathisen & Bronniks (2009) tankar om att studenter som utmanas och får kreera tillsammans stärker sina generiska färdigheter samt får ökad tilltro till sin självförmåga. Modellen har använts på Högskolan Kristianstad sedan 2017. Studenter som har deltagit vid ett Imagine uttrycker det som att det varit utmanande, lärorikt, tufft, roligt och innovativt.
|
|
| 4. |
- Sander, Ingo, Professor, 1964-, et al.
(författare)
-
TOWARDS CORRECT-BY-CONSTRUCTION DESIGN OF SAFETY-CRITICAL EMBEDDED AVIONICS SYSTEMS
- 2022
-
Ingår i: 33rd Congress of the International Council of the Aeronautical Sciences, ICAS 2022. - : International Council of the Aeronautical Sciences. ; , s. 1637-1658
-
Konferensbidrag (refereegranskat)abstract
- New methodologies are needed for the development of avionics systems to meet today’s software explosion in complexity and related cost due to the increased functionality in the aircraft. Current design flows for software-intensive systems do not have a clear path from the functional specification to the final implementation and cannot provide real-time guarantees. The situation will become even more difficult because, in the future, more and more applications will share the same computation nodes and the network in a distributed hierarchical network-based system. In order to overcome the present situation, a novel methodology for a correct-by-construction design of safety-critical embedded avionics systems has been created and formulated within the Vinnova NFFP7 project CORRECT. Correct-by-construction design is a radical departure from current design practice, with the potential to decrease the verification costs for future systems significantly. The paper presents the underlying foundation of the methodology, its carefully selected ingredients, and discuss available results and existing tool support. The methodology is based on a disciplined system modelling environment grounded on a sound formal foundation, a design space exploration technique, and a clear path to hardware and software synthesis. An industrial case study investigates the potential of the methodology.
|
|
