FM 2024

FM 2024는 독립 협회인 Formal Methods Europe(FME)가 주최하는 제26회 국제 공식 방법론 심포지엄입니다.소프트웨어 개발에 있어서 공식적인 방법의 사용과 연구를 촉진하는 것을 목표로 합니다. FM 심포지엄은 연구 및 산업 경험에 대한 독창적인 논문, 워크숍, 튜토리얼, 도구 보고서, 프로젝트 및 진행 중인 박사 연구를 통해 연구자와 산업 사용자를 성공적으로 한자리에 모았습니다. FM 2024는 기념의 자리이자, 다양한 배경을 가진 열정적인 연구자와 실무자가 아이디어를 교환하고 경험을 공유할 수 있는 플랫폼입니다.

FM 2024는 신뢰할 수 있는 인공지능, 소프트웨어, 컴퓨터 기반 시스템, 시스템 시스템, 사이버 물리 시스템, 보안, 인간-컴퓨터 상호 작용, 제조, 지속 가능성, 에너지, 운송, 스마트 시티, 의료, 생물학을 포함한 광범위한 분야에서 공식적 방법의 개발과 적용에 중점을 둘 것입니다. 우리는 특히 학제간 환경에서의 기술, 도구, 경험에 관한 논문을 환영합니다. 또한 산업 현장에서의 공식적 방법 적용 경험과 공식적 방법 도구의 설계 및 검증에 관한 논문도 환영합니다.

FM 2024의 주제는 다음과 같습니다(이에 국한되지 않음).

학제간 형식 방법:학제간 환경에서 공식적인 방법을 사용하는 기술, 도구 및 경험을 보여줍니다. 실제적인 공식적 방법에는 다음이 포함됩니다: 공식적 방법의 산업적 응용, 산업적 공식적 방법에 대한 경험, 도구 사용 보고서, 어려운 문제에 대한 실험. 저자는 공식적인 방법이 어떻게 문제를 극복하고, 설계를 개선하고, 새로운 통찰력을 제공하는지 설명하도록 권장합니다.

공식적 방법 도구:자동화된 검증, 모델 검사 및 공식적 방법 테스트, 도구 통합, 공식적 방법 환경, 도구의 실험적 검증 분야의 발전. 저자는 새로운 도구나 환경이 최첨단 기술을 발전시킨다는 것을 경험적으로 입증하는 것이 좋습니다.
소프트웨어 및 시스템 엔지니어링의 공식적 방법: 공식적 방법을 사용하는 개발 프로세스, 공식적 방법 사용에 대한 지침, 방법의 통합. 저자는 질적 또는 양적 개선 측면에서 프로세스 혁신을 평가하는 것이 좋습니다. 또한, 실증적 연구와 평가도 필요합니다.

형식적 방법의 이론적 기초:사양, 검증, 개선, 정적 및 동적 분석과 관련된 이론의 모든 측면입니다. 저자는 자신의 결과가 공식적인 방법이나 도구를 사용하여 실제 문제를 해결하는 데 어떻게 기여할 수 있는지 설명하는 것이 좋습니다.

임베디드 시스템 주제: FM 2024에서는 ACM SIGBED와 협력하여 임베디드 시스템에 대한 특별 세션을 개최합니다. 이 과정은 본질적으로 형식적이며 임베디드, 실시간 및 사이버 물리 시스템에 적용되는 이론, 방법 및 도구에 중점을 둡니다.