Engineering-Research-Activity2015｜SHINSHU UNIV.

57/75

WasakiLabFor“Dependability”ofinformationsystem,itisveryimportanttoensurethesystem’s"Reliability"and“Safety”representedbyQoSorencryptedcommunicationsnetwork.Wemustdesignwithoutanyerror(bug)withinourabilityinordertoachievehighreliabilityrequiredininformationsystem.For"100%bug-freedesigns,“wedevelopthedesignverificationmethodsand/ortools,forinstancebytargetingtheparallelsystems,toinspectallexhaustivestate-space.Thesoftwareisamysterious,"invisible"industrialproductwhichisstoredintheformof"Information(Bit)"withoutanyweight.Byverifyingthedesignofthesoftware,wecanprovidereliableandwell-functioningproductsandservices.Inthislaboratory,weworkonthebasistheory(theoremproving,modelcheckingsystems)andformalverificationsystem(net-orienteddesign,processalgebraspecificationdesign,etc.)aswellasthemodelingmethodofparallelsystem,upstreamsoftwaredesign,andPetrinetdesign/verificationtool.Prof. Katsumi WasakiHis current research interests include modeling and analysis of concurrent, parallel and/or distributed processing systems, mathematical model and formal verification of asynchronous circuits, and hardware compiler for model checking systems.★VERIFICATION FIRST!★Foundations of Computer ScienceGraduatesarewokringincommunicationnetwork,softwaredevelopment,systemdesignengineering,andcloudservicescompanies.Totrainourstudentsasengineersandresearcherswithlogicalandindependentthinkingskills,wediscussourresearchprojectsandparticipateinseminaractivitiesonadailybasis.HiPStool : Hierarchical Petri net Simulatorhttp://sourceforge.net/projects/hips-tools/ SPIN Model Checking Tool & iSPINIDEAfter GraduationIn the FutureComputerScience &EngineeringStudyingthesuccessesandfailuresofresearchingroups,withmenandwomenfromvariouscountrieshelpsstudentsdevelopstrongprofessionalcommunicationskills.Learningwhatittakestoactually“show”anaudiencethatanengineeringsolutionworks.ThestudentsintheKawamotoLaboratoryworkondevelopingimportantprofessionalcommunicationskillsbyconstructivelyevaluatingthesuccessesandfailuresoftheirresearchworkasmuchaspossibleduringtheschoolyearwiththeircolleagues.TheirtopicsofstudyrangefromITapplicationstosupportEnglisheducationinsideandoutsideoftheclassroomtoinvestigationsofthedesign/developmentchallengesofcyberphysicalsystemsforimprovingtheconditionoflifeinthecommunitiesandsocietyaroundthem.WithmoreandmorestudentseagerandwillingtodoworkinEnglishtolearnitratherthanlearnEnglishtodowork,therewillbegreateropportunitiesforresearchdiscussionsandcollaborationsoutsideofthelaboratory,outsideoftheuniversitythatwillpreparestudentsfortheworkforceevenoutsideofJapan.Byemphasizingthedevelopmentofprofessionalcommunicationskillsthroughouttheresearchprocess,graduatesentertheworkforcewithversatileskillsinadaptingtheirworkdiscussionswithdifferentcolleagues,audiences,clients,etc.PaulineN.Kawamoto(A.P)hasbeenonthefacultyattheNagano-EngineeringCampusintheDept.ofComputerScienceandEngineeringsince1996.Developing professional communication skills in engineering studentsKawamoto LabComputerScience &EngineeringAfter GraduationIn the Future55

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