IKT og programvareutvikling - forskning, teknologi og innovasjon

Transkript

1 IKT og programvareutvikling - forskning, teknologi og innovasjon Lars Michael Kristensen Institutt for data- og realfag AIØ - Høgskolen i Bergen [email protected] home.hib.no/ansatte/lmkr/ Innovasjon i et regionalt perspektiv HiB

2 IKT og programvare (software) Spiller en essensiell rolle på de fleste områder av samfunn og industri: Administrasjon Bank og finans Kontrollsystemer og beslutningsstøtte Sosiale medier Helse utstyr, analyse, samhandling Beregninger og simulering En voksende næring av betydelig størrelse - nasjonalt og regionalt. Innovasjon i et regionalt perspektiv HiB

3 Programvareutvikling?(software engineering) Teknologier og metodikk for utvikling, evaluering og drift av programvare på ulike plattformer: Laptop/PC Server Mobil og nettbrett Forskning og innovasjon: Innbygde system Produkter og tjenester basert på bruk av programvare programvare som basisteknologi. Teknologier og metodikk for programvareutvikling / IT-system programvareutvikling som profesjon. Innovasjon i et regionalt perspektiv HiB

4 FoU - Institutt for data- og realfag Grid computing for fysikk data analyse Sikker og pålitelig kommunikasjon Modell-basert programvareutvikling AUTONOMOUS CYPER- PHYSICAL SYSTEMS Computational intelligence Grafikk, visualisering og interaktive system Engineering computing Innovasjon i et regionalt perspektiv HiB

5 FoU og Innovasjon - Ressurser Bachelorutdanning (studenter + veiledning): Web og mobil tjenester, drift av IT-systemer, programvareutvikling. Bachelor prosjektoppgaver (20 stp). Masterutdanning (studenter + veiledning): Programvareutvikling. Master prosjektoppgaver (60 stp). Stipendiatstillinger: Ph.D prosjekter knyttet til forskningsområder. Relativ hjernekraft fordeling i årsverk FoU-tid. Bachelor prosjekt Master prosjekt Stipendiater FoU-tid Innovasjon i et regionalt perspektiv HiB

6 Bachelorutdanning Omkring 95% av bacheloroppgavene er knyttet til (regionale) bedrifter i ulike bransjer: Web og mobil løsninger Drift og installasjon Grafikk og visualisering medie- og spillteknologi Innovasjon i et regionalt perspektiv HiB

7 Eksempel: Caring Prosjektet [ Giske, Kanestrøm og Taksdal støttet via VRI ] Sky- og mobil-basert booking og administrasjonssystem for deling av bedriftsbiler: Høy grad av automatisering: Online sporing og reservasjon. Integrert med navigasjon. Loggbok og avregning. Prosjekter bidrar til intern innovasjon, utvikling og nyskaping i eksisterende bedrifter. Innovasjon i et regionalt perspektiv HiB

8 Masterutdanning Programvareutvikling Kombinasjon av eksterne prosjekter og interne prosjekter knyttet til definerte FoU områder: Eksterne prosjekter Interne FoU prosjekter Innovasjon i et regionalt perspektiv HiB

9 Eksempel: Eye-tracking [Fiskeseth Larsen, Lund] Mastergradsprosjekt innen programvareutvikling med Tobii Technology, Bergen: Prosjektfokus: Fra eye-tracking til biologiske feedback-systemer i programvare (spill): Physical Cyper Innovasjon i et regionalt perspektiv HiB

10 Eksempel: SimSubsea [Røkenes, Herheim, Wold, Trefall, Kristensen] Læringsspill med fokus på matematikk, økonomi, teknologi og forskning i en regional kontekst: Didaktikk: Seksjon for matematikk fagdidaktikk (AL). Programvareutvikling: Inst. data- og realfag (AIØ). Fagkompetanse: Inst. for maskin- og marin (AIØ). Innovasjon: Senter for Nyskaping (AIØ). Rettet mot 10. trinn matematikk og 1. trinn videregående skole på sikt ingeniørutdanning. Industri Spill Design Matematikk Kommersielt look-and-feel: spillbarhet vs. læring. Frihetsgrad vs. styring og læringsmål. Form og innhold på matematikkoppgaver. Flere spillere: samarbeid vs. konkurranse. Innovasjon i et regionalt perspektiv HiB

11 Lost & Found Andre eksempler Prosjektoppgaver basert på ideer fra studenter og/eller ansatte: Elektronisk eksamen på PC - i bruk på HiB og UiB. Trygg-i-mørket mobil-app. Sikkerhet til sjøs. Automatisk system for oppfølgning på eksamensoppgaver. Prosjekter som har ført til kommersialisering: Prosjektoppgaver = kompetent, billig og risikovillig ressurs. Innovasjon i et regionalt perspektiv HiB

12 Forskning - FoU Forskning innen programvareutvikling skjer grunnleggende sett i en internasjonal kontekst. Eksempel: Modell-basert programvareutvikling Problem domene (visjon og krav) Validere Programvareutvikling ved bruk av modeller Programvare generering Teknisk domene (implementasjon) Validere: bygger vi det riktige systemet? Nye muligheter: Verifisere Abstraksjonsnivå: Bruk av høy-nivå og domene-spesifikke (modellerings) språk ved utvikling av IT-systemer. Produktivitet: Automatisk kode (programvare) generering for eksempelvis utvikling på ulike plattformer. Pålitelighet: Verifikasjon før implementasjon og drift. Verifisere: bygger vi systemet riktig? Innovasjon i et regionalt perspektiv HiB

13 Modell-basert Programvareutvikling [Lamo, Rutle, Kristensen, Stolz, Heldal, Taentzer] Internasjonalt aktiv forskningsgruppe med fokus på regionalt-relevante anvendelsesområder: Regionale anvendelsesområder Komplekse simuleringssystem (energi/marin) Prosess- og samhandlingsmodellering (helse) Protokoller og innbygd system (Inst. Elektrofag) Sky- og mobilbaserte applikasjoner Praktiske anvendelser Programvareutviklings teknologi / verktøy Internasjonalt forskningsfundament Modell-basert programvareutvikling Teori Innovasjon i et regionalt perspektiv HiB

14 Eksempel: Karabin [Behera, Kristensen] Prosessmodellering, dokumentasjon og forbedring (olje/gass/produksjon/tjenester ). Prosjektmålsetning: automatisk analyse av prosessmodeller for prosessplanlegging: Prosessmodeller Verktøy for modellering Programvare for automatisk prosessverifikasjon og analyse Forbedret ( prosessforbedring ) Innovasjon i et regionalt perspektiv HiB

15 Eksempel: Schneider Electric [Prosjekt under oppstart med utviklingsavdeling i Nice] Utvikler komplekse industrianlegg innen energi og automatisering: systemverifikasjon essensielt. Analyseverktøy (programvare) Modellering Performance - Reliability Availability - Safety Forskning Automatisk kode-generering Innovasjon Verktøy for modell-basert programvareutvikling Innovasjon i et regionalt perspektiv HiB

16 Oppsummering Forskning og innovasjon skjer fler steder: Bachelor- og masterutdanning spesielt via prosjektoppgaver. Stipendiater og FoU-tid. Størstedelen av FoU-aktiviteter og prosjektoppgaver bidrar til intern innovasjon. FoU innen IKT og programvareutvikling internasjonalt orientert regional relevans. Forskningsprogram for IKTorientert forskning ved AIØ: Embedded- and distributed computing prosjekt.hib.no/ict (under konstruksjon) Software engineering ICT Engineering Engineering computing Innovasjon i et regionalt perspektiv HiB