■工学部_研究紹介_2017_英語版ファイル161220

34/80

Okano LabDr.KozoOkanoAssociate ProfessorHe received his PhD degree from Osaka University. His research areas include Specification and Verification Techniques for Software Engineering and Dependable Systems.Howcanweefficientlydevelopreliablesoftware?InOkanoLab.,weresearchonsoftwareengineering,especiallyspecificationandverificationtechniques.Developmentofsoftwareproducesnotonlysoftwareprogramcodeitselfbutalsoalotofdocumentproductsincludingrequirement,specification,design,testsuitsandprogramassertions.Suchadocumentrelatedeachother.Maintenanceofsuchdocumentsis,thus,alsoimportant.Wealsoresearchonanalysisofsuchdocumentsforincreaseofreliabilityofsoftwareproducts.OurresearchisoneoftheimportanttechniquesinSoftwareEngineering.Futuresocietywillneedmorereliableandhugesoftware.Ourresearch,therefore,willbeimportantinfuture.Softwareengineerswithsuchtechniqueswillplayactivepartindevelopmentofsoftwareproducts.After GraduationIn the FutureModel Checking of Safety of Controller in a Line Tracing RobotSpec. (JML)Spec. (Alloy)Alloy Analyzer!?instancesVisualization of Specification by Alloy AnalyzerOverhalfofthegraduatesgotograduateschool.Graduatesofourlaboratorywillbeemployedbyelectronicscompanies,ITcompaniesandetc.Manygraduatesareworkingassoftware/ITengineerswithabilityofsoftwareengineering.Electrical& Computer EngineeringKawaharaLab“Newobservationsbasedonnewtechnologiesdiscovernewsciences”.Sodiumlidarisapowerfulactiveremotesensingtechniquewhichhasbeenusedforsearchingmesosphereandlowerthermosphereregionbetween80and105kmaltitude.Theallsolid-state,maintenance-freelidarsystemwedevelopedisextremelystableinoperationeveninArcticsevereclimatecondition.Ourgroupfocusesondevelopingnewopticaldevicesfortheatmosphericobservationtosearchthetruthinnature.Seed laser system for controlling pulse 589 nm coherent light for sodium layer (80 and 105 km) observation.Research of the Earth upper atmosphere near SpaceFive laser-lines into the sky from the facilities deployed at EISCAT radar site in Tromsoe, Norway.Inthislab,“the”supervisoroftenasks“Why?”or“How?”tohisstudentstomakethemunderstandthemechanismsoroperatingprinciplesofthesystem.Alsohebelievesthatapresentationisoneofthebesttooltoimprovetheirskills,evenaftertheirgraduation.Withtheseeducations,thestudentsplayanactiverollintheirownnewfield.After GraduationIn the FutureTakuya KawaharaAssociate ProfessorPh.Dof Sci. (Tohoku University, 1995)Specialty area:Na lidar observation, Development of optical instruments for satellite observationsAcademicresearchisabeautifulworld.ScienceislikeapuzzleofnaturegivenbyGod.Peopledevelopobservationdevices,thenthenextsecretcomestolight.Inthefuture,peoplestillkeepresearching,butstillpeoplecanfindthenextsecrets.Universityistheonlyplacetogivetheopportunityforthestudents.Don’tmissit!Electrical& Computer Engineering32

※このページを正しく表示するにはFlashPlayer10.2以上が必要です